i just downloaded the Arduino IDE 1.8.7, and checked it out.
there is still an accessibility issue that's not fully resolved in the version 1.8.6 and now the 1.8.7.
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.
i already know that inside the compiler app's java/lib/syntax/theme folder there are two themes - dafault.xml and dark.xml
and that there is a 'theme.txt buried inside /lib folder.
i don't know why one can not change the theme option inside the preferences, when plainly there are two, not one, themes.
changing the theme by replacing the 'theme' folder inside the /syntax folder in Finder, does work in changing the look of the IDE, but is awkward, clunky and not very user-friendly, and still doesn't resolve the selecting of themes problem in preferences.
the original theme is not very readable at the best of times.
can anyone resolve this issue, please?
btw, has anyone ported the Arduino Theme Editor from Windows, over to mac OS-X yet?