MySQLWorkbenchクエリのコメントフォントの色を変更する

実際に変更したいのは、構文の強調表示の色です。これらの色はxmlファイルに保存されており、現在、それらを変更するためのGUIはありません。ただし、xmlファイルを直接編集することはできます（MySQL Workbenchを再起動して変更を取得します）。 MySQLWorkbenchのインストールディレクトリでファイルcode_editor.xmlを探します。

サポートされているMySQLサーバーごとに次のようなセクションがあります：

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

トークンの種類ごとに、それぞれが前景色と背景色（および太字、斜体などのスタイル）を指定するスタイルタグがいくつかあります。ここで、好きなように色を調整できます。復元する必要がある場合に備えて、元のファイルのコピーを作成します。