Hello! The default font size for MySQL workbench is really really small (independent of monitor screen size unfortunately) and It’s been really harsh for my eyes. I tried a couple of approaches but none seems to work. For example, the font size settings in preferences only change font size of the code, not the font size for the panels and tabs. I also tried to change workbench.general.Editor:Font in the wb_options file but that does not seem to work either.
This is extremely discouraging for completing exercises and any help is greatly appreciated!!!