HOWTO: Cambiare il font in GeoGebra

Una delle cose più fastidiose di GeoGebra è che le etichette degli oggetti sono sempre scritte troppo in piccolo. Per ovviare a questo problema ci sono due possibilità. La prima è aumentare la dimensione di tutti i font da Options → Font Size, e poi ridurre quella del test da Options → Advanced → Font Size. La seconda è mettere come caption del simbolo la stringa

$ \scalebox{4} %n $

dove “4” è la dimensione relativa del carattere rispetto al default.

Leave a Reply

Your email address will not be published. Required fields are marked *

(i miei cookie)