WinEdt e dimensione del carattere

Ciao! 🙂 Ho lo stesso problema di Nicola. Qualche utente WinEdt sa come impostare la dimensione del font? 😕

No, ma un consiglio ce l’ho: abbandonate WinEdt e passate a qualcosa che supporti Unicode per intero. Texmaker o TeXStudio.

Ciao
Tommaso

*Nicola*” post=40359Ho preso un nuovo PC con risoluzione molto elevata quindi avrei la necessità di ingrandire il la dimensione dei caratteri mostrati da WinEdt durante la scrittura. Non trovo però dove impostare tale parametro, qualcuno mi aiuta per favore?

Rosaria” post=64944Ciao! 🙂 Ho lo stesso problema di Nicola. Qualche utente WinEdt sa come impostare la dimensione del font? 😕

Che versione di WinEdt?

Ciao
Orlando

Versione 6.0. 🙂

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

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

Facile, non c’è che dire. 🙂

Ciao
Enrico

Grazie mille!! 🙂