Le fichier preferences.txt situé :
C:\Users\monNom\AppData\Local\Arduino15\
A toujours permis de modifier manuellement certains paramètres comme remplacer l’affreux font de base ligne 17 :
editor.font=Monospaced,plain,12
Par un plus joli avec zéros barrés :
editor.font=Consolas,plain,14
Malheureusement, maintenant en Arduino 1.8.0, ce fichier preferences.txt est écrasé à chaque lancement de l’éditeur empêchant de conserver ses modifications
Comment contourner ce bug très gênant ?
NB : J’utilise alternativement l’éditeur natif d’Arduino rustique mais minimaliste et le superbe environnement Visual Studio gratuit mais qui a pour défaut d’être plus lourd et de multiplier les fichiers inutiles.
Sous Visual, ce problème ne se pose évidement pas
il faut s'assurer cependant que ce que vous éditez soit effectué pendant que l'IDE est arrêté et bien sûr que la font existe. pour moi Consolas n'est pas écrasé.
En éditant le fichier preference.txt avant le lancement de l'IDE je conserve mes modifications (IDE 1.8.1) tant sous Windows que sous Linux.
J'ai l'impression que l'IDE écrase le fichier à la fermeture, pas à l'ouverture.
Les modifications faites "IDE actif" ne sont pas prise en compte, l'IDE remettant les valeurs lues à l'ouverture.
Il me semble que c'était déjà le cas avec les versions précédentes, je n'ai pas constaté de changement sur ce point.
Un bug de rendu des polices est apparu avec la version 1.8.0 sous Windows, corrigé depuis avec les 1.8.1
C'est exact, je me suis fait avoir comme un débutant, je n'avais pas fermé l'IDE avant de sauver mes modifications, le rechargement se fait bien à la fermeture de l'application.
Je fatigue...
Edit : d'ailleurs cette police n'est pas toute seule. Il y a plus de 250Mo de polices.
Edit : ces polices sont des fichiers ttf ont peut aussi les installer sous windows.
- oui c'est aussi la première chose que je change. je trouve la police plus sympa