Il problema si presenta solo con KDE: mentre nella versione Gnome di Fedora 34, il font predefinito è perfetto, sotto KDE è davvero poco guardabile. Inoltre, la dimensione è piuttosto piccola; per l'IDE Arduino è preferibile avere un font più grande di quello corrente di sistema.
E' possibile ovviamente modificare il font dell'editor.
Assicurandosi di non avere alcuna istanza di Arduino IDE in esecuzione, aprire il file delle preferenze
$ nano ~/.arduino15/preferences.txt
quindi impostare l'attributo editor.font come segue:
editor.font=Source Code Pro,plain,16
salvare, chiudere il file, quindi avviare di nuovo Arduino IDE.
Il risultato che ho ottenuto è riportato di seguito. Eventualmente modificare la sola dimensione del font secondo le proprie preferenze (12, 14, 16, 18):
Nessun commento:
Posta un commento