如何调整字体大小

眼神不大好，想把字体调大些，找遍了设置、高级设置，包括高级设置帮助里的代码，都没有字体字号的选项。翻了下历史评论，2021年前您回复一位网友说增加了修改字体大小的选项，后来是又去掉了这个功能吗？