Ubuntu Gnome 14.04 上的 PyCharm 社区版 3.1.3。在 PyCharm 中找不到更改代码字体的位置。
File > Settings > Editor > Colors & Fonts > Font > Editor Font
Run Code Online (Sandbox Code Playgroud)
处于非活动状态。我只能通过设置来改变字体大小
File > Settings > Editor > [v] Change font size (Zoom) with Ctrl+Mouse Wheel
Run Code Online (Sandbox Code Playgroud)
但是如何更改字体样式/类型(<somefont>
-> Courier New
)?
顺便说一句,如何禁用拼写检查?检查文件名和编程代码中的拼写是没有意义的。