PyCharm IDE Comment puis-je changer la taille de la police sans zoomer avec le défilement
Comme le titre l'indique, comment puis-je modifier la taille de la police dans l'éditeur d'une valeur? J'aime le défilement, mais le problème est que je dois faire défiler à chaque fois que j'ouvre à nouveau un IDE.
J'ai trouvé les paramètres permettant de modifier la valeur de la taille de la police, mais cette option est désactivée. Dois-je payer pour cette fonctionnalité?
- version 2017.1 et antérieure -
Settings/Preferences | Editor | Colors & Fonts | Font - depuis 2017.2 -
Settings/Preferences | Editor | Color Scheme | Color Scheme Font
J'ai trouvé les paramètres permettant de modifier la valeur de la taille de la police, mais cette option est désactivée.
Il est désactivé car il est interdit de modifier le schéma bundled. Pour "l'activer" il suffit de créer votre propre schéma en fonction de l'un des ensembles (cliquez sur le bouton "Enregistrer sous" en regard de Nom du schéma):
Une fois que vous avez terminé, vous pouvez modifier les paramètres de couleur/style.
Ыстрый ответ:
В 2018/2017 версия:
- айл -> Настройки ...
- В левой части разверните Редактор -> рифт
- Télécharger Размер значение.
- Apply+OK
Ajouter un raccourci clavier pour zoomer sur les polices pycharm
- Fichier -> Paramètres .
- Sélectionnez keymap .
Rechercher Augmenter la taille de la police et Diminuer la taille de la police et ajouter Nouveau raccourci clavier .
Assurez-vous que le raccourci que vous avez sélectionné n'affecte pas les autres raccourcis.
- Terminé .
Utilisation des raccourcisDans Windows, Ctrl + Alt + S ouvre immédiatement la fenêtre de configuration pour Pycharm, puis à gauche, vous pouvez cliquer sur l’onglet Police et augmenter ou réduire la taille de la police à votre guise. Il modifie la taille de la police du code que vous écrivez réellement dans PyCharm IDE.
Pour Mac
Pour modifier la taille de la police, procédez comme suit:
Cliquez PyCharm | Préférences dans le menu principal, puis allez dans Editeur | Police de caractère .