Ubuntu 18.04のMySQL Workbench 8.0.13でテキストの色の問題を強調表示する
Workbenchを使用してDDBBに接続し、いくつかのクエリを作成し始めましたが、テキストを選択してその部分のみを実行すると、テキストと背景色は同じになります。
私はcode_editor.xmlについて何かを読みました...しかし、これらの色はそのファイルを変更して変更することはできず、OSに依存しています（ https://forums.mysql.com/read.php?152,665348、 665348＃msg-665348 ）。
Adwaita-darkを使用すると色が変わりますが、問題はまだあります。また、Tweak Toolsを使用して2つの異なるシェルテーマを試しました。
また、/ usr/themes /にあるいくつかのファイルを変更して色を変更することについても読みましたが、選択したテキストの背景としてそれらのファイルに表示される色は、ワークベンチのものと一致しません（オレンジ色）。
この問題を回避するために、私たち（大学のスタッフ）は現在、Ubuntu 16.04およびWorkbench 6.3.10でVMを使用しています...
先日、Workbenchパッケージの更新がありましたが、少なくともUbuntuとGnomeのOPについては解決されました。