P粉0716263642023-10-15 10:15:40
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 には多くの言語に対応する何千ものスタイルがあります) と私の構成は次のとおりです:
リーリーP粉6688042282023-10-15 00:13:15
これは実際にはプログラミングの質問ではありませんが、簡単な質問なので答えさせてください。 MySQL Workbench のテーマは、アプリケーションの特定の主要部分の色のコレクションです。将来のバージョンではカスタマイズできるようになる予定です。ダーク テーマをテンプレートの 1 つとして入手するには、http://bugs.mysql.com にアクセスしてください。ただし、すべての UI 要素がワークベンチのテーマに従って色付けされているわけではないことに注意してください。たとえば、テキスト ボックスは Windows 標準の色を使用しているため、白のままです。