1.修改字体
crtl+shift+a
输入font
将mouse开头的那个点击ON就行了
然后就可以ctrl+鼠标修改字体大小
file-setting-font即可找到修改字体类型的地方
这里首先注意需要将show only monospaced fonts的√去掉,不然只显示一些字体选择
1.修改字体
crtl+shift+a
输入font
将mouse开头的那个点击ON就行了
然后就可以ctrl+鼠标修改字体大小
file-setting-font即可找到修改字体类型的地方
这里首先注意需要将show only monospaced fonts的√去掉,不然只显示一些字体选择