我开始使用 Workbench 连接 DDBB 并进行一些查询，但是当我选择一些文本仅执行该部分时，文本和背景颜色是相同的。
我读了一些关于 code_editor.xml 的内容...但这些颜色不能通过修改该文件来改变，并且取决于操作系统（https://forums.mysql.com/read.php?152,665348,665348#msg-665348）。
如果我使用 Adwaita-dark，颜色会发生变化，但问题仍然存在。我也尝试使用 Tweak Tools 使用了两种不同的 shell 主题。
我还阅读了有关修改位于 /usr/themes/ 中的某些文件以更改颜色的信息，但是这些文件中显示的选定文本背景的颜色与 Workbench 的颜色不匹配（它是橙色）。
我们（大学员工）目前正在使用装有 Ubuntu 16.04 和 Workbench 6.3.10 的 VM 来避免这个问题……
答案1
前几天 Workbench 包进行了更新，现在问题已经解决，至少对于 OP 的 Ubuntu 和 Gnome 来说是这样。
