So I'd like to try the dark theme - greyed out comments are just weird.
I load Jeff Thompsons' darktheme from github and it's in the 'Arduino/lib/theme/syntax' folder. The description states "Revised for Arduino version 1.6.6+, not tested with earlier versions." at the top. I've got v 1.8.2. Further down it is stated "The newest version of the Arduino IDE makes creating custom themes trickier: you now need to edit the theme.txt file, an XML file inside the syntax folder, and the button files. "
From a cursory scan of the default file and the dark file they appear structurally the same but the color settings are, of course, different.
Is there a setting somewhere to select the theme file?
Do I need to rename dark to default?
Basically, what are the mechanics of changing the theme?