Changer le code de la taille de la police dans Webstorm IDE

Question

Je n'arrive pas à trouver un moyen de modifier le code de la taille de la police dans Webstorm. - Je changer la taille de la police dans les options et ça change le menu et la barre d'outils de taille de police, mais pas le code. Des idées? Merci

Answer 1

Settings (Preferences sur Mac) | Editor | Colors & Fonts | Font, Taille:

Avant de vous pouvez modifier ce paramètre, vous devez cliquer sur "Enregistrer sous..." et enregistrez le régime sous un nom personnalisé.

Answer 2

Si vous êtes venus ici parce que vous avez déjà constaté que l'écran, mais la zone de texte a été verrouillé...

C'est parce que vous ne pouvez pas modifier le thème actuel.

Cliquez sur "Enregistrer sous..." pour enregistrer une copie de votre thème actuel, vous devriez maintenant être en mesure de modifier ce que vous voulez.

Answer 3

Il ya aussi une option pour activer la molette de la souris zoom, comme dans les navigateurs:

Fichier > Paramètres > Éditeur > Changer la taille de police avec Ctrl+Molette de la Souris.