MySQL workbench 修改界面和字体的大小

lamirs2022年5月19日大约 2 分钟

上一级页面：index-la

修复左侧界面缺少

可以看到左侧缺了一块

鼠标移动到如图所示位置，然后按住鼠标右移，即可恢复左侧缺少部分

可以看到左侧字体太小

首先找到workbench的安装目录

whereis mysql-workbench

得到workbench的安装目录/usr/share/mysql-workbench，

cd /usr/share/mysql-workbench

里面有个workbench.css文件。

cat workbench.css

如果目录内没有这个文件的话也不要急，去官网MySQL :: Download MySQL Workbench下载源文件，解压一下就有了

下载mysql-workbench-community_8.0.29-xxxxxxxxx.deb,不带dbgsym的那个包，解压后继续解压data.tar.xz，访问解压后的文件目录

cd mysql-workbench-community_8.0.29-xxxxxxxxxx/
cd data/
cd usr/share/mysql-workbench/

这里面就有workbench.css文件，将其copy到配置目录

cp workbench.css /usr/share/mysql-workbench/workbench.css

回到workbench的安装目录/usr/share/mysql-workbench，

cd /usr/share/mysql-workbench

首先留下备份文件，然后修改它

cp workbench.css workbench.css.bak

sudo vim workbench.css

这里的字体修改为和系统默认字体大小一致就可以了，Linux Ubuntu的默认字体大小为11，或是增大一号改为12

GtkStatusbar GtkLabel {  
  font-size: 11px;  
}

注意SchemaTree是左侧的字体大小，取消注释，然后修改大小，如下

SchemaTree {  
  font-size: 11px;  
}

Linux端使用gtk编写的，所以可以手动调整dpi，见wsl2-解决高分辨率屏的模糊问题

方法一：edit——>preferences—->Fonts&colors—>Fonts

Fonts按照字体名字、字条大小排列的，双击字体大小，比如改为18，修改后ok，然后重启。

方法二：找到安装目录下的wb_options.xml

windows：

C:\Users\User\AppData\Roaming\MySQL\Workbench\

mac：

~/Library/Application\ Support/MySQL/Workbench/

其他平台如linux

whereis mysql-workbench

安装目录里面有一个wb_options.xml

<value type="string" key="workbench.general.Editor:Font">Verdana</value>

找到key：workbench.general.Editor:Font，修改即可。

需要重新启动程序

[阿里云问答]所创，转载请带上原文链接，感谢 https://developer.aliyun.com/ask/305959