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 OS X. Ide.FontSize.Aqua=11
io ho modificato così
# The default Ide.FontSize for Mac OS X. Ide.FontSize=16
ottenendo un bel miglioramento da
a
Commenti recenti