Couleurs Editeur

Bonjour,
Est-il possible de changer les couleurs dans l'éditeur Arduino, comme par exemple remplacer la couleur des commentaires etc...
Je n'arrive pas à trouver un fichier de config, sans doute parce qu'il n'en existe pas peut-être.
Si vous avez une idée de la chose, merci de me répondre.

Merci, c'est exactement ce que je cherchais. :slight_smile:

MERCI !!!!
Je cherchais depuis un moment comment moins fatiguer mes vieux yeux (difficile à dire :cold_sweat: ) avec le fond plus blanc que blanc.

Donc il faut faire :
Dans lib/theme.txt

EDITOR - DETAILS

foreground and background colors

editor.fgcolor = #000000
editor.bgcolor = #C0C0C0 (à la place de #FFFFF)