网友 "一纸玫瑰"整理
第一步：点击Tools（工具）
第二步：点击Options（选项）
第三步：Text Editor（文本编辑）/Fonts（字体）
第四步：点击size（大小）
选择合适的大小即可，最后点ok。
