18.04 如何让 MySQL Workbench 在 GNOME 中看起来更好？

Question

如何让 MySQL Workbench 在 Ubuntu 18.04 的 GNOME 界面中看起来更好？

主要问题是标签高度，它们太大并占据了屏幕的大部分。与 Windows 版本相比，Linux 版 MySQL Workbench 的视图自定义似乎非常有限。