Gruppo Utilizzatori Italiani di TeX
è possibile aumentare la dimensione del font usato nell’editor? specifico che sto parlando dell’editor e non del documento finale. Ho variato alcuni numeri presenti in Preferenze/Editor e premuto OK ma non cambia niente.