Ce que vous voulez changer en fait, ce sont les couleurs de la coloration syntaxique. Ces couleurs sont stockées dans un fichier xml et il n'y a actuellement aucune interface graphique pour les modifier. Mais vous pouvez modifier le fichier xml directement (redémarrez MySQL Workbench pour prendre en compte tout changement). Recherchez le fichier code_editor.xml dans votre répertoire d'installation de MySQL Workbench.
Il existe des sections pour chaque serveur MySQL pris en charge comme :
<?xml version="1.0" encoding="utf-8"?>
<languages>
<language name="SCLEX_MYSQL">
<!-- This is the base language setting. It's usually not directly used, but provides values shared by
more specialized MySQL versions. -->
<!-- Lexer properties -->
<property name="fold" value="1" />
<property name="fold.compact" value="0" />
<property name="fold.comment" value="1" />
...
<style id="1" fore-color="#A0A0A0" /> <!-- SCE_MYSQL_COMMENT -->
<style id="2" fore-color="#A0A0A0" /> <!-- SCE_MYSQL_COMMENTLINE -->
...
</language>
...
</languages>
Il existe un nombre de balises de style spécifiant chacune une couleur de premier plan et d'arrière-plan (et un style comme gras, italique) pour chaque type de jeton. C'est ici que vous pouvez ajuster les couleurs à votre guise. Faites une copie du fichier d'origine au cas où vous auriez besoin de le restaurer.
