打开名为 code_editor.xml 的 XML 文件,该文件位于 MySQL Workbench 安装目录的 data 文件夹中(通常为 C:\Program Files\MySQL\MySQL Workbench 6.3 CE\data代码>)。在这里,您会发现不同代码元素的很多样式,但有一些缺失。
MySQL Workbench 使用 scintilla 作为代码编辑器,并且 scintilla 定义了更多可以在 code_editor.xml 文件中使用的样式。用于背景颜色的样式 ID 为 32。
以下是如何更改 MySQL Workbench 的颜色(包括背景颜色)。
打开名为
code_editor.xml的 XML 文件,该文件位于 MySQL Workbench 安装目录的 data 文件夹中(通常为C:\Program Files\MySQL\MySQL Workbench 6.3 CE\data代码>)。在这里,您会发现不同代码元素的很多样式,但有一些缺失。MySQL Workbench 使用 scintilla 作为代码编辑器,并且 scintilla 定义了更多可以在
code_editor.xml文件中使用的样式。用于背景颜色的样式 ID 为 32。这是 MySQL 的完整列表(scintilla 对于多种语言有数千种样式)以及我的配置: