IDE - changing comment colour in Arduino 18

Hello Arduino People,

[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?

Regards,
Tony Barry
Sydney, Australia

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.

Well, it works. Thanks a lot!

comment1 is a //
comment2 /* */

But where the colors' codes can be found?

Color codes are simply the RGB values from 00 - FF hex (0 - 255 decimal).

IE #112233 = red: 11 green: 22: blue: 33

When I changed the comment1.style, both // comments and /* */ comments changed to the same color.