web-dev-qa-db-ja.com

PyCharmでコードのフォントを変更するにはどうすればよいですか?

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

ところで、スペルチェックを無効にする方法は?ファイル名とプログラミングコードのスペルをチェックするのは無意味です。

2
frozen-flame

私はこれを自分で考え出したばかりです。事前に定義された(およびロックされた)スキームに基づいて独自のスキームを作成する必要があります。

http://www.jetbrains.com/pycharm/webhelp/configuring-colors-and-fonts.html

よろしくジェームズ

6
JamesP