字体大小设置 Options-<File Type Options…-<Screen Fonts…在弹出的面板中设置字体大小后,点击 确定;会出现二次确认弹窗,输入"yes",点击确定就行。也可以使用快捷键"Alt+T"