WinEdt字体大小(不是latex字体大小) options->options interface; 找到font, 打开后修改第28行font的size 为某值(18),右键font,选择import scripts或load scripts,导入配置。