Ubuntu Gnome 14.04上のPyCharm Community Edition 3.1.3。 PyCharmでコードのフォントを変更する場所が見つかりません。
File > Settings > Editor > Colors & Fonts > Font > Editor Font
非アクティブです。設定することでのみフォントサイズを変更できます
File > Settings > Editor > [v] Change font size (Zoom) with Ctrl+Mouse Wheel
しかし、フォントのスタイル/タイプを変更する方法(<somefont>
-> Courier New
)
ところで、スペルチェックを無効にする方法は?ファイル名とプログラミングコードのスペルをチェックするのは無意味です。
私はこれを自分で考え出したばかりです。事前に定義された(およびロックされた)スキームに基づいて独自のスキームを作成する必要があります。
http://www.jetbrains.com/pycharm/webhelp/configuring-colors-and-fonts.html
よろしくジェームズ