PyCharm IDE Comment puis-je changer la taille de la police sans zoomer avec la souris scroll
comme le titre le dit, Comment puis-je changer la taille de la police dans editor d'une certaine valeur. J'aime le défilement, mais le problème c'est que je dois défiler à nouveau et chaque fois que j'ouvre un IDE à nouveau.
j'ai trouvé les paramètres pour changer la valeur de la taille de la police, mais elle est désactivée. Dois-je payer pour cette fonctionnalité ?
4 réponses
- version 2017.1 et plus --
Settings/Preferences | Editor | Colors & Fonts | Font
- depuis 2017.2 --
Settings/Preferences | Editor | Color Scheme | Color Scheme Font
j'ai trouvé les paramètres pour changer la valeur de la taille de la police, mais elle est désactivée.
Il est désactivé car il n'est pas autorisé à modifier groupés schéma. "activer" il créer votre propre schéma basé sur tout le lot de ceux (cliquez sur le bouton" Enregistrer sous " à côté du nom du schéma):
une fois que vous avez fait que vous pouvez modifier l'un des cadres de couleur/style.
réponse Rapide:
2018/2017 version:
- le Fichier-->Paramètres...
- dans le côté gauche expand Editeur-->Police
- Modifier Taille valeur.
- Appliquer+ OK
Pour Mac
Pour modifier la taille de Police, procédez de la manière suivante:
Cliquez sur PyCharm/Préférences dans le menu principal, puis passez à l' Editeur/Police.
ajout D'un raccourci clavier pour zoomer sur la police pycharm
- le Fichier-->Paramètres .
- Sélectionner clavier.
Recherche Augmenter la taille de la police et diminuer la taille de la policeNouveau Raccourci Clavier .
assurez-vous que le raccourci que vous avez sélectionné n'affecte pas les autres raccourcis.
- Fait .