2023-12-27阅读(82)

应该是你修改字体的方法不对,首先要点一下saveas按钮,将字体方案保存起来,然后idea会扫描你电脑上的字体。之后就能修改字体了，File==》Setting，打开Pythonidea,选择设置页面,