如何更改 MySQL Workbench 编辑器突出显示的文本背景颜色？

Question

有没有办法更改 MySQL Workbench 查询编辑器中突出显示文本的背景颜色？它似乎以某种方式设置为非常难以阅读的默认值，如图所示：

相比之下，这是未突出显示时的相同代码片段：

我的环境：Windows 10，MySQL Workbench 8.0.17 社区版。