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?
dougp:
Is there a setting somewhere to select the theme file?
Not that I know of, you just need to replace the current theme files with the new ones. I don't think there's any easy way to switch between multiple installed themes.
dougp:
Do I need to rename dark to default?
No.
dougp:
Basically, what are the mechanics of changing the theme?
Rename {Arduino IDE installation folder}/lib/theme to {Arduino IDE installation folder}/lib/theme.bak
pert:
Have you tried it with the Arduino IDE not running?
That was the first issue I cleared up. I got an 'in use by others' type of message because the IDE was active. Cleared that.
pert:
Make sure the file is not open in any other program such as this XML editor you mentioned.
Tried it both ways, notepad only and xml editor only. Same result either way.
On a hunch I checked and found the program files folder was set to read only. I changed this and got part way through the (many) files and folders in there and started getting a lot of 'couldn't change the settings for file X' messages. I clicked 'ignore' a few times then went to 'ignore all'. When it finished I still couldn't do any editing.
No doubt it's something simple, ya just gotta know where the switch for it is.
I've managed to make a few changes in the dark theme .xml file. I had to copy the file to the desktop, make the changes there, then copy back to the syntax folder. It's laborious but it works.
This theme looks like an unfinished project. Partly because there's a 'fix me' comment embedded. Partly because some of the color combinations don't work. One thing I changed was the colors used to highlight matching brackets, etc.
A related issue: If you cursor on to say, a closing curly brace and the opening mate for that is off-screen at the top a box is shown presenting the code of the matching off-screen line. The non-keyword text that appears there is invisible.
dougp:
Question - what is the term for the message box?
That "message box" feature is more recent than any change to the theme files (it was only introduced in Arduino IDE 1.8.2) so you won't find theme settings specifically for it. It looks like some other theme properties are being reused there since obviously the colors aren't hardcoded. It's probably just using the same theme properties as used in the editor for that text. I've been calling the "message box" a "tooltip".
dougp:
most of that file is a mystery.
I've done my best to document the theme properties here:
if you find the purpose of any of the properties I've documented as "Doesn't appear to have any effect." please let me know and I'll update the documentation.
pert:
I've done my best to document the theme properties here:
If you find the purpose of any of the properties I've documented as "Doesn't appear to have any effect." please let me know and I'll update the documentation.
Just for giggles I checked a few. These, among others:
editor.literal1.style - Doesn't appear to have any effect.
editor.literal2.style - Doesn't appear to have any effect.
editor.variable.style - Doesn't appear to have any effect.
don't even appear in the dark theme file.
Oh, well perhaps a future version will shed some light.