ダーク テーマを使用するように MySQL Workbench の設定を変更するにはどうすればよいですか?
MySQL Workbench の色 (背景色を含む) を変更する方法は次のとおりです。
MySQL Workbench インストール ディレクトリ (通常は C:\Program Files\MySQL\MySQL Workbench 6.3 CE\ data) のデータ フォルダーにある code_editor.xml という名前の XML ファイルを開きます。 コード>)。ここには、さまざまなコード要素のスタイルがたくさんありますが、いくつかのスタイルは見つかりません。
C:\Program Files\MySQL\MySQL Workbench 6.3 CE\ data) のデータ フォルダーにある
という名前の XML ファイルを開きます。
MySQL Workbench はコード エディタとして scintilla を使用し、scintilla は code_editor.xml ファイルで使用できるその他のスタイルを定義します。 背景色に使用されるスタイル ID は 32 です。
code_editor.xml
MySQL の完全なリスト (scintilla には多くの言語に対応する何千ものスタイルがあります) と私の構成は次のとおりです:
これは実際にはプログラミングの質問ではありませんが、簡単な質問なので答えさせてください。 MySQL Workbench のテーマは、アプリケーションの特定の主要部分の色のコレクションです。将来のバージョンではカスタマイズできるようになる予定です。ダーク テーマをテンプレートの 1 つとして入手するには、http://bugs.mysql.com 提交功能请求一个> にアクセスしてください。ただし、すべての UI 要素がワークベンチのテーマに従って色付けされているわけではないことに注意してください。たとえば、テキスト ボックスは Windows 標準の色を使用しているため、白のままです。
MySQL Workbench の色 (背景色を含む) を変更する方法は次のとおりです。
MySQL Workbench インストール ディレクトリ (通常は
C:\Program Files\MySQL\MySQL Workbench 6.3 CE\ data) のデータ フォルダーにある
code_editor.xmlという名前の XML ファイルを開きます。
コード>)。ここには、さまざまなコード要素のスタイルがたくさんありますが、いくつかのスタイルは見つかりません。MySQL Workbench はコード エディタとして scintilla を使用し、scintilla は
code_editor.xml
ファイルで使用できるその他のスタイルを定義します。 背景色に使用されるスタイル ID は 32 です。MySQL の完全なリスト (scintilla には多くの言語に対応する何千ものスタイルがあります) と私の構成は次のとおりです:
リーリーこれは実際にはプログラミングの質問ではありませんが、簡単な質問なので答えさせてください。 MySQL Workbench のテーマは、アプリケーションの特定の主要部分の色のコレクションです。将来のバージョンではカスタマイズできるようになる予定です。ダーク テーマをテンプレートの 1 つとして入手するには、http://bugs.mysql.com 提交功能请求一个> にアクセスしてください。ただし、すべての UI 要素がワークベンチのテーマに従って色付けされているわけではないことに注意してください。たとえば、テキスト ボックスは Windows 標準の色を使用しているため、白のままです。