【发布时间】:2012-03-22 03:24:36
【问题描述】:
我正在使用 MySQL Workbench 5.2,据我所知是最新版本,但我根本无法更改字体。这很不方便,因为默认字体非常小而且对眼睛很刺眼。外观选项卡具有更改字体的选项,但实际上无法在此处进行更改,因为该字段实际上无法编辑。
有人知道解决这个问题的方法吗?这似乎是一个常见的错误,但我无法在任何地方找到修复。
【问题讨论】:
-
5.2 是一个很长的系列。你到底有什么 5.2.x 版本?
-
我的确切版本是 5.2.38,我是几天前才下载的,所以我假设它是最新版本。
-
是的,到目前为止 5.2.38 是最新的 WB 版本。
-
Welp here 8 年后,2020 Windows10 中的 MySQL Workbench 8.0 仍然有非常小的字体,没有真正的解决方案。是的,脚本和结果的字体大小可以更改,但 GUI 的其余部分,如侧面板和奇怪的 Windows Vista 样式提示将在大多数标准分辨率(如 1920x1080)下具有超小字体,对于更高的用户来说希望不大分辨率如 4k 屏幕。只是糟糕的用户界面设计。解决方法是使用其他工具,例如 DBeaver 非常好(但在 Windows 中非常糟糕的暗模式)。但是,可能会出现兼容性问题和缺少原生功能。
标签: mysql configuration fonts mysql-workbench