进入“编辑” -> “首选项” -> “外观”,更改所有提到字体名称的设置。在我的情况下,原始配置如下: -font {{DejaVu Sans Mono} 0} 将零更改为所需的字体大小,例如: -font {{DejaVu Sans Mono} 9}