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é ?

35
demandé sur user3385945 2014-04-04 22:35:38

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):

enter image description here

une fois que vous avez fait que vous pouvez modifier l'un des cadres de couleur/style.

60
répondu LazyOne 2017-10-03 21:48:03

réponse Rapide:

2018/2017 version:

  1. le Fichier-->Paramètres...
  2. dans le côté gauche expand Editeur-->Police
  3. Modifier Taille valeur.
  4. Appliquer+ OK

3
répondu Benyamin Jafari 2018-07-16 14:00:55

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.

0
répondu Chris22 2018-07-15 00:22:22

ajout D'un raccourci clavier pour zoomer sur la police pycharm

  1. le Fichier-->Paramètres .
  2. Sélectionner clavier.
  3. 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.

  4. Fait .
0
répondu anoopknr 2018-10-05 19:19:32