【问题标题】:Changing Font in MySQL Workbench在 MySQL Workbench 中更改字体
【发布时间】: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


【解决方案1】:

您也可以像我们在 VS 代码中一样使用 ctrl + 鼠标滚动来控制字体大小

【讨论】:

    【解决方案2】:

    您唯一需要做的就是增加缩放:

    (MySQL:8.0.12)在 Mac 电脑上。

    mysql的图片和指向缩放工具的箭头

    如果您使用的是 LINUX(DEBIAN 和许多其他)

    按住 ctrl 并向上滚动(鼠标滚动)

    【讨论】:

    • 你好@victor-kolis,欢迎来到 StackOverflow 社区。您可以通过提供版本信息(例如哪个工作台版本以后具有此功能或所有版本都具有此功能)来使您的答案更具信息性,或者您也可以提及您的工作台版本。
    • 我在 Windows 10 上的 MySQL Workbench 8.0 上看不到这个。我必须以某种方式启用它吗?
    • 免责声明:我不是 100% 确定。但是缩放选项是 Mac 的东西。 Windows 工作台宁愿使用偏好方式:dev.mysql.com/doc/workbench/en/…
    • 在 windows 上没有显示缩放大小,但您可以使用标准 ctrl+'鼠标滚轮'放大/缩小
    【解决方案3】:

    在 Mac 上,在左上角,

    MYSQLWorkbench -> Preferences -> Fonts 
    

    增加这里的数字

    注意:确保关闭实例并重新打开它以应用这些更改。

    【讨论】:

      【解决方案4】:

      好吧,我只是想增加字体的大小,只是因为它在我的 WB 6.1 中太小了。

      1. 关闭白平衡

      2. 转至:
        C:\Users\<User>\AppData\Roaming\MySQL\Workbench\wb_options.xml,
        其中<User> 是您的 Windows 用户登录名。
        定位"workbench.general.Editor:Font".
        我在那里有Consolas 10,并将其更改为Consolas 13
        这会将字体增加到舒适的大小。

      【讨论】:

      • 从这里编辑字体大小肯定比使用他们的 UI 更容易。但是我找不到更改程序本身使用的字体的条目。大多数文本、标签、菜单、设置、选项等都使用我几乎无法阅读的非常小的字体。也伤了我的眼睛。他们授予访问权限的内容仅影响我们编辑或控制的内容,例如查询、结果等。 Main Workbench 字体永远不会受到影响。 Zoom 在浏览器和某些程序中有效,对 WB 没有影响。有人可以解决这个问题吗?我在 Windows 10 上,Workbench 8.0.21(8.0.22 不会导出任何东西,所以我恢复了)。
      【解决方案5】:

      编辑>首选项...>外观>字体部分

      在上述版本中,您可以编辑字体,但您必须慢慢双击,因为它非常不稳定(或按回车 ) 然后您必须手动输入字体名称,后跟空格和字体大小,例如我的状态:

      Source Sans Pro 10
      

      而且它需要重新启动程序

      【讨论】:

      • 也适用于 MySQL Workbench 6.0.6。
      • 感谢重启提示!
      • 不需要重启 Workbench。打开一个新的查询窗口(>5.2)就足够了。
      • 对象资源管理器怎么样,如何更改那里的字体?我应用了更大的尺寸,真正的查询窗口字体大小确实发生了变化,但对象/模式资源管理器没有。
      • 我已将两种外观下的所有字体更新为 16/18,首选项左侧边栏中的字体,关闭重新打开,在 mac 6.3.3 上对我没有任何变化。在我的 28 英寸显示器上仍然非常小。
      【解决方案6】:

      编辑 -> 首选项... -> 外观 -> 字体部分

      高亮一行,点击回车,就可以编辑字体和大小了。

      之后重启应用。

      【讨论】:

      • 在 Windows 10 上,Workbench 8.0,Enter 关闭对话框。而是单击以选择一行。然后第二次单击(但不会快到注册为双击),将让您进行编辑。这是一个非常糟糕的用户界面。超级沮丧。
      【解决方案7】:

      对于 Mac OS X 也是如此,使用下面的隐藏路径(参考:this link):

      “您可以直接在他们的XML文件中编辑首选项。关闭MWB。然后编辑文件~/Library/Application Support/MySQL/Workbench/wb_options.xml。寻找关键workbench.general.Editor:Font,并在那里更改字体。现在重新启动 MWB 以查看您的更改。”

      【讨论】:

        【解决方案8】:

        在新机器上干净安装 MySQL Workbench (WB) 5.2.47 (Windows 7) 后,我想要 Lucida Console 字体,但由于某种原因,WB 选择了不同的字体保留关键字的字体,使代码不可读。没有保留关键字的设置。因此,我无法通过编辑 wp_options.xml 文件轻松更改此设置。唯一可接受的字体设置是 Courier New

        然后我去了另一台机器,从有 WB 升级历史的 WB 5.2.47 中复制了wp_options.xml。成功了,它在新安装的 WB 上运行良好。

        查看文本差异工具中的两个wp_options.xml 文件,我注意到许多差异,但没有任何可以解释差异的地方。我的结论是 Oracle 需要使用 UI 配置,因为在 wp_options.xml 文件中进行细微、晦涩的编辑是使 WB UI 可接受的必要条件。

        【讨论】:

          猜你喜欢
          • 2014-12-11
          • 2017-07-25
          • 2012-09-14
          • 1970-01-01
          • 2018-11-13
          • 1970-01-01
          • 2016-01-15
          • 2020-02-23
          • 2013-05-17
          相关资源
          最近更新 更多