Modification de la taille de la police du code dans WebStorm IDE
Je n'arrive pas à trouver un moyen de modifier la taille de la police du code dans WebStorm. Je change la taille de la police dans les options et cela change la taille de la police du menu et de la barre d'outils mais pas le code réel. Des idées?
Settings (Preferences sur Mac) | Editor | Colors & Fonts | Font, Taille:
Avant de pouvoir modifier ce paramètre, vous devez cliquer sur "Enregistrer sous ..." et enregistrer le schéma sous un nom personnalisé.
Si vous êtes venu ici parce que vous avez déjà trouvé cet écran, mais que la zone de texte était verrouillée ...
En effet, 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 pouvoir modifier ce que vous voulez.
Il existe également une option pour activer le zoom de la molette de la souris, comme dans les navigateurs:
Fichier> Paramètres> Éditeur> Changer la taille de la police avec Ctrl + molette de la souris.
Si vous êtes un nouvel utilisateur de WebStorm 10.0.4 ,
Fichier> Paramètres> Éditeur> Général> Modifier la taille de la police avec Ctrl + molette de la souris. 
La réponse qui explique comment modifier dynamiquement la taille de la police via la molette de la souris est partiellement correcte, mais laisse de côté une étape cruciale:
- Fichier
- Paramètres
- Éditeur
- Général (c'est l'étape cruciale manquante dans la réponse précédente)
- Définissez le "Changer la taille de la police (Zoom) avec Ctrl + M
La réponse précédente manquait l'étape cruciale 4, qui, lorsqu'elle est omise, vous laisse vous demander où se trouve le contrôle de la case à cocher magique.