Zmień kolor czcionki komentarza w zapytaniu MySQL Workbench

To, co w rzeczywistości chcesz zmienić, to kolory podświetlania składni. Te kolory są przechowywane w pliku xml i obecnie nie ma GUI do ich zmiany. Ale możesz edytować plik xml bezpośrednio (zrestartuj MySQL Workbench, aby pobrać jakiekolwiek zmiany). Poszukaj pliku code_editor.xml w katalogu instalacyjnym MySQL Workbench.

Istnieją sekcje dla każdego obsługiwanego serwera MySQL, takie jak:

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

Istnieją znaczniki w stylu liczb, z których każdy określa kolor pierwszego planu i tła (oraz styl, jak pogrubienie, kursywa) dla każdego typu tokena. Tutaj możesz dostosować kolory do swoich upodobań. Zrób kopię oryginalnego pliku na wypadek konieczności jego przywrócenia.