本文解决方案在centos7上针对verdi2018版本尝试成功,参考论坛:https://bbs.eetop.cn/thread-889293-2-1.html
问题描述
尝试在verdi2018版本中通过Tools-preferences-General-Font and Size中调大Monospaced Font选项,但是source code中的字体并没有变化。
推测原因:字体缺失
解决方案
在虚拟机的linux系统里安装fonts(fixed无法调整,其他两种可以调整)
1.centos7的命令:yum install xorg-x11-fonts-ISO8859-1-75dpi.noarch -y
2.安装后重启verdi,就可以通过ools-preferences-General-Font and Size-Monospaced Font来调节字体大小(仅对courier,clean有效,fixed无效)
求助
如果大家有更好的方法修改成更大的字体,更多的字体样式,欢迎留言告诉我~