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

上一级页面:index-la

修复左侧界面缺少

可以看到左侧缺了一块

Pasted%20image%2020220519202336.png

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

Pasted image 20220609214024

修改左侧界面大小

可以看到左侧字体太小

Pasted%20image%2020220519202336.png

首先找到workbench的安装目录

1
whereis mysql-workbench

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

1
cd /usr/share/mysql-workbench

里面有个workbench.css文件。

1
cat workbench.css

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

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

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

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

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

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

1
cd /usr/share/mysql-workbench

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

1
cp workbench.css workbench.css.bak
1
sudo vim workbench.css 

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

1
2
3
GtkStatusbar GtkLabel {  
  font-size: 11px;
}

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

1
2
3
SchemaTree {  
  font-size: 11px;
}

linux修改dpi

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

修改字体大小

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

Pasted%20image%2020220519202751.png

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

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

windows:

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

mac:

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

其他平台如linux

1
whereis mysql-workbench

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

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

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

需要重新启动程序

参考、引用、致谢

如何修改mysql workbench 字体大小?_CDA答疑社区

MySQL Workbench左侧菜单栏只显示Object info和Session的解决办法_TanaStudy的博客-CSDN博客_workbench左边栏

mysql workbench 左侧schemas 字体太小怎么调?:报错 (cdmana.com)

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