首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >在MySQL工作台中更改字体

在MySQL工作台中更改字体
EN

Stack Overflow用户
提问于 2012-03-04 16:15:45
回答 3查看 54K关注 0票数 40

我使用的是MySQL Workbench 5.2,这是据我所知的最新版本,但我无法更改字体。这是非常不方便的,因为默认的字体非常小,对眼睛很刺眼。外观选项卡具有用于更改字体的选项,但实际上不能对其进行更改,因为该字段实际上无法编辑。

有没有人知道解决这个问题的办法?这似乎是一个常见的bug,但我在任何地方都找不到修复方法。

EN

回答 3

Stack Overflow用户

发布于 2013-04-17 19:59:14

同样,对于Mac,使用下面的隐藏路径(参考:此link):

“您可以直接在其XML文件中编辑首选项。关闭MWB。然后编辑文件~/库/应用程序支持/MySQL/Workbench/wb_options.xml。查找键workbench.general.Editor:Font,并更改其中的字体。现在重新启动MWB以查看您的更改。”

票数 4
EN

Stack Overflow用户

发布于 2013-11-14 16:11:23

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

突出显示一行,单击ENTER,然后可以编辑字体和大小。

之后重启应用程序。

票数 4
EN

Stack Overflow用户

发布于 2013-03-15 16:33:55

在一台新机器上干净地安装了Lucida Workbench ( WB ) 5.2.47 (Windows7)后,我想使用我习惯的MySQL控制台字体,但由于某些原因,WB为保留关键字选择了不同的字体,使得代码不可读。没有保留关键字的设置。因此,我不能通过编辑wp_options.xml文件轻松地更改这一点。唯一可接受的字体设置是Courier New。

然后我去了另一台机器,从一台有WB升级历史的WB 5.2.47上复制了wp_options.xml。这就成功了,它在新安装的WB上工作得很好。

在文本比较工具中查看这两个wp_options.xml文件时,我注意到许多不同之处,但没有任何可以解释这些差异的地方。我的结论是,Oracle需要使用UI配置,因为在wp_options.xml文件中进行微妙、模糊的编辑是使WB可接受的必要条件,这是不好的。

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/9553386

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档