Can't update theme on MySQL Workbench for Mac

Question

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:

Preferences page on Mac

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!

Answer 1

I was trying to remove dark mode from MySQL Workbench version 8.0.15 and the following command in the Terminal did the trick (Running MacOS Mojave 10.14.5):

defaults write com.oracle.workbench.MySQLWorkbench NSRequiresAquaSystemAppearance -bool yes

You can try changing the bool condition to 'no' to go back to dark mode.

I referenced this thread : https://bugs.mysql.com/bug.php?id=92902 and the comment from Jonas Trollvik.