Změňte barvu písma komentáře v dotazu MySQL Workbench

Ve skutečnosti chcete změnit barvy pro zvýraznění syntaxe. Tyto barvy jsou uloženy v souboru xml a v současné době neexistuje žádné grafické uživatelské rozhraní, které by je mohlo změnit. Soubor xml však můžete upravit přímo (restartujte MySQL Workbench, abyste zaznamenali jakoukoli změnu). V instalačním adresáři MySQL Workbench vyhledejte soubor code_editor.xml.

Pro každý podporovaný server MySQL existují sekce jako:

<?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>

Existují značky stylu čísel, z nichž každá určuje barvu popředí a pozadí (a styl jako tučné písmo, kurzíva) pro každý typ tokenu. Zde si můžete upravit barvy podle libosti. Vytvořte kopii původního souboru pro případ, že jej budete potřebovat obnovit.