[Note to moderators - this is a cross post]
[original here
I am using Mac OS X, Arduino 0018, and would like to change the comment colour from grey to green. In v0017 I was able to do this by altering lines in the Arduino application package preferences file, but now in v0018 the file contains the explicit advice to not do this.
The regular preferences file, in ~/Library/Arduino/preferences.txt has no obvious place to change the colour. In previous versions, there were lines such as:-
editor.comment.style=#008800,bold
but in v0018 this does not produce any result.
Does anyone have an idea what the syntax would be for a successful colour change for comments?
The preferences is located in arduino install path/lib/preferences.txt? Anyway, there is also a theme.txt file, located in arduino install path/lib/theme/theme.txt. It contains a section with:
# TEXT - COMMENTS
editor.comment1.style = #777755,plain
editor.comment2.style = #777755,plain
I'm not sure what comment2.style is, both // and /.../ seems to be from comment1.style.