Here's how to change the colors (including background color) of MySQL Workbench.
Open the XML file named code_editor.xml, which is located in the data folder of the MySQL Workbench installation directory (usually C:\Program Files\MySQL\MySQL Workbench 6.3 CE\ datacode>). Here you will find lots of styles for different code elements, but some are missing.
MySQL Workbench uses scintilla as the code editor, and scintilla defines more styles that can be used in the code_editor.xml file. The style ID used for the background color is 32.
Here is the complete list of MySQL (scintilla has thousands of styles for many languages) and my configuration:
Here's how to change the colors (including background color) of MySQL Workbench.
Open the XML file named
code_editor.xml
, which is located in the data folder of the MySQL Workbench installation directory (usuallyC:\Program Files\MySQL\MySQL Workbench 6.3 CE\ data
code>). Here you will find lots of styles for different code elements, but some are missing.MySQL Workbench uses scintilla as the code editor, and scintilla defines more styles that can be used in the
code_editor.xml
file. The style ID used for the background color is 32.Here is the complete list of MySQL (scintilla has thousands of styles for many languages) and my configuration:
This isn't really a programming question, but it's a quick question, so let me answer it. A theme for MySQL Workbench is a collection of colors for certain major parts of the application. It is planned to allow customizing them in future versions. To get the dark theme as one of the templates, go to http://bugs.mysql.com 提交功能请求一个>. But keep in mind that not every UI element is colored according to the workbench theme, for example text boxes remain white because they use Windows standard colors.