Polices trop grosses dans l’IDE arduino

04 AUT 16
Polices trop grosses dans l’IDE arduino
Catégories : Électronique numérique
Si comme moi (GNU/Linux Debian/testing), les polices de caractère de l’interface graphique de l’IDE arduino sont trop grosses, il suffit d’ajouter les deux lignes suivantes dans la section “Device” du fichier /etc/X11/xorg.conf :

et après un redémarrage, tout rentrera dans l’ordre !

EDIT 21/02/2017

Le fichier xorg.conf peut ne plus exister. Dans ce cas, créer un fichier nommé 99-nvidia.conf dans le dossier /usr/share/X11/xorg.conf.d avec le contenu suivant :

Sources

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *