Comment changer la police de code dans PyCharm?
PyCharm Community Edition 3.1.3 sur Ubuntu Gnome 14.04. Impossible de trouver où changer la police de code dans PyCharm.
File > Settings > Editor > Colors & Fonts > Font > Editor Font
est inactif. Je ne peux changer que la taille de la police en réglant
File > Settings > Editor > [v] Change font size (Zoom) with Ctrl+Mouse Wheel
mais comment changer le style/type de police (<somefont> -> Courier New)?
Au fait, comment désactiver la vérification orthographique? Il est illogique de vérifier l'orthographe dans les noms de fichiers et le code de programmation.
Je viens de comprendre celui-ci sur moi-même. Vous devez créer votre propre système basé sur l'un des modèles prédéfinis (et verrouillés).
http://www.jetbrains.com/pycharm/webhelp/configuring-colors-and-fonts.html
Cordialement James