Re: WinEdt e dimensione del carattere

Rosaria” post=65002Versione 6.0. 🙂

Liverpool” post=65007Io 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

Nella versione 6.0 è un po’ diverso.

1. Menù Options -> Options… (si apre una finestra laterale che in genere sta sulla sinistra);
2. Espandi il menù Font Schemes: Font, Tabs, Caret… e clicca su Font (si apre il file Font.ini);
3. Sul mio, alla 25-esima riga c’è FONT_SIZE=10: cambia a tuo piacere e salva;
4. Clicca con il destro su Font quindi su Load Script.

Ciao
Orlando