::
Io ho la versione 5.5 e nel menù Opzioni ho una voce Preferenze con una scheda Font. In basso, nella scheda, c’è un pulsante Font… che permette di scegliere anche la dimensione del carattere. Non credo che nella versione 6 il meccanismo sia molto differente.
Ciao
