Bug #85309 Provide Options to Customize Colors in SQL Editor
Submitted: 4 Mar 2017 23:12 Modified: 2 Feb 2018 13:54
Reporter: Marcelo Ruiz Email Updates:
Status: Verified Impact on me:
Category:MySQL Workbench: SQL Editor Severity:S4 (Feature request)
Version:6.3.9, 6.3.10 OS:Linux
Assigned to: CPU Architecture:Any

[4 Mar 2017 23:12] Marcelo Ruiz
With dark theme installed, the overall adjustment of MySQL Workbench is quite good, except in the SQL Editor, where colors are hard-coded and no customization is possible.
While MySQL Workbench advanced in this area from previous versions, there is still work to be done to make it look good under any desktop theme.

How to repeat:
Install dark theme in Linux (try Vivacious-zBlackout-Graphite-Pro for example) and open MySQL Workbench. Open the SQL editor and notice hard coded white background in the editor.

Suggested fix:
Provide a way to customize colors, as you do for Modeling (Workbench Preferences > Modeling > Appearance). The Font preferences tab could be the right place to do it.
[2 Feb 2018 13:54] MySQL Verification Team
Hello Marcelo Ruiz,

Thank you for the feature request!