Archivio Tag: ui

Mar 28

Modificare il size della UI Oracle SqlDeveloper

Il valore default della dimensione del carattere con cui è visualizzata l’interfaccia utente (non il font dell’editor!) è, almeno per i miei gusti, piuttosto piccolino. C’è un modo per aumentarlo $ cd .sqldeveloper/system4.0.3.16.84/o.sqldeveloper.12.2.0.16.84 (occhio che dipende dalla versione, verificare nella propria installazione) Aprire il file $ nano ide.properties alla voce # The default Ide.FontSize for Mac …

Continua a leggere »