linux下使用gvim,字号太小,怎么修改?
linux下使用gvim,字号太小,怎么修改?在/home/.vimrc文件的最后添加以下:set guifont=Monospace\ 12,其中,Monospace为字体名,11为字号,注意\和11之间的空格其他格式配置,详见链接,还有,linux窗口界面字体也太小,可以使用ctrl+shift + “+=”可以调大字体...
·
linux下使用gvim,字号太小,怎么修改?
在/home/.vimrc文件的最后添加以下:
set guifont=Monospace\ 12,其中,Monospace为字体名,11为字号,注意\和11之间的空格
其他格式配置,详见链接,还有,linux窗口界面字体也太小,可以使用ctrl+shift + “+=”可以调大字体
更多推荐
已为社区贡献1条内容
所有评论(0)