Voici comment modifier les couleurs (y compris la couleur d'arrière-plan) de MySQL Workbench.
Ouvrez le fichier nommé code_editor.xml 的 XML 文件,该文件位于 MySQL Workbench 安装目录的 data 文件夹中(通常为 C:Program FilesMySQLMySQL Workbench 6.3 CEdataCode>). Vous trouverez ici de nombreux styles pour différents éléments de code, mais certains manquent.
MySQL Workbench utilise Scintilla comme éditeur de code et Scintilla définit davantage de styles pouvant être utilisés dans les fichiers code_editor.xml. L'ID de style utilisé pour la couleur d'arrière-plan est 32.
Voici la liste complète pour MySQL (scintilla a des milliers de styles pour de nombreux langages) et ma configuration :
Voici comment modifier les couleurs (y compris la couleur d'arrière-plan) de MySQL Workbench.
Ouvrez le fichier nommé
code_editor.xml
的 XML 文件,该文件位于 MySQL Workbench 安装目录的 data 文件夹中(通常为C:Program FilesMySQLMySQL Workbench 6.3 CEdata
Code>). Vous trouverez ici de nombreux styles pour différents éléments de code, mais certains manquent.MySQL Workbench utilise Scintilla comme éditeur de code et Scintilla définit davantage de styles pouvant être utilisés dans les fichiers
code_editor.xml
. L'ID de style utilisé pour la couleur d'arrière-plan est 32.Voici la liste complète pour MySQL (scintilla a des milliers de styles pour de nombreux langages) et ma configuration :
Ce n'est pas vraiment une question de programmation, mais c'est une question rapide, alors laissez-moi y répondre. Un thème pour MySQL Workbench est une collection de couleurs pour certaines parties principales de l'application. Il est prévu de permettre leur personnalisation dans les versions futures. Pour obtenir le thème sombre comme l'un des modèles, accédez à http://bugs.mysql.com 提交功能请求一个>. Mais gardez à l'esprit que tous les éléments de l'interface utilisateur ne sont pas colorés en fonction du thème du plan de travail. Par exemple, les zones de texte restent blanches car elles utilisent les couleurs standard de Windows.