in the Preferences panel, there is now a tab called Theme with a drop-down menu containing 'Default Theme'.no matter what one does there, one can not change the 'Default Theme' to any other theme.
btw, is it now possible to write, debug and edit the libraries, as easily as the main code? atm, in my experience, one has to do a work-around in using a text editor to save the libraries as *.h and *.cpp. a bit awkward for us beginners on that subject.
...The way it works is you create a folder named theme in your sketchbook folder (the location of which you can find at File > Preferences > Sketchbook location). You put all the themes you want to choose from in .zip files and put them under that folder. The tricky part I ran into is that the files need to be directly under the .zip file, not in a folder...
atm, i don't have a way of rezipping up the unzipped files.
does the IDE 1.8.7 unzip the ***theme.zip files itself?
it also appears that the installation instructions on those github links for the theme files need updating - the info is for older versions of IDE eg, up to 1.8.5, not for the 1.8.6 and 1.8.7.
pert, do you mean the '...<sketchbook folder>/theme/***theme.zip'? [ *** being the name of a particular theme, e.g, DarkArduinoTheme.zip ]
what is the exact directory outline?
do you mean by '...under the .zip file, not in a folder...' that all the collected themes need to be zipped up into one big .zip file, and not stored individually inside theme folder?
i don't have a way of rezipping up the unzipped files.
Yes, you do. In Finder, right-click (or control+click) -> Compress.
True. Likely the authors don't even know about this new feature. I haven't updated the installation instructions on my themes either, though it's on my "to-do" list. The old installation instructions still work fine so it's not especially urgent.
For example, to download https://github.com/jeffThompson/DarkArduinoTheme you would likely click on Clone or download > Download ZIP. The downloaded file structure looks like this:DarkArduinoTheme-master.zip|_DarkArduinoTheme-master |_DarkThemeTestCode | |_AnotherTab.ino | |_DarkThemeTestCode.ino |_theme |_theme.txt |_etc.In this case the theme is in the DarkArduinoTheme-master/theme subfolder of the .zip file so that .zip file won't work with the Arduino IDE's user selectable theme feature. You'll need to take the files from the DarkArduinoTheme-master/theme folder and zip them up.