I'm using MySQL Workbench on Mac to write queries and I can't find a way to change the GUI theme. It looks from the online resources that are available like users can usually fix this by going to Preferences and going to Preferences and selecting "Fonts & Colours". This is what it usually looks like, apparently:
Preferences page according to online resources
However, when I go to my preferences, this section just appears as "Fonts" and no option to change theme is provided:
Is this because I'm on Mac? And is there another way to change to a darker theme? I've been able to last for a while but the white is murder on my eyes.
Thanks in advance for any input!
The theme settings in MySQL Workbench are for Windows only, hence this setting is not visible in OSX or Linux. The dark theme in OSX is rather new and doesn't usually affect applications, so there is no meaning in adding support for that in MySQL Workbench. Of course the menu bar is still dark, also when WB is the active application (if set to that).
The other color settings (like those you can change via the xml or any other you see in the preferences) are used to change syntax highlighting colors and modeling colors.
