如何让 MySQL Workbench 在 Ubuntu 18.04 的 GNOME 界面中看起来更好？
主要问题是标签高度，它们太大并占据了屏幕的大部分。与 Windows 版本相比，Linux 版 MySQL Workbench 的视图自定义似乎非常有限。
18.04 如何让 MySQL Workbench 在 GNOME 中看起来更好？
如何让 MySQL Workbench 在 Ubuntu 18.04 的 GNOME 界面中看起来更好？
主要问题是标签高度，它们太大并占据了屏幕的大部分。与 Windows 版本相比，Linux 版 MySQL Workbench 的视图自定义似乎非常有限。