Il existe trois façons d'ajuster la taille de la police dans WebStorm : modifier directement la taille de la police de l'éditeur : ajustez la taille de la « Police de l'éditeur » dans les paramètres « Polices et couleurs ». Utilisez les touches de raccourci : Ctrl + Alt + touches numériques pour modifier la taille, Ctrl + = pour augmenter, Ctrl + - pour diminuer. Ajuster la taille de la police du système : affecte toutes les applications, via les "Paramètres d'affichage" sous Windows et les "Préférences Système" sous Mac.
Comment ajuster la taille de la police dans WebStorm
Modifiez directement la taille de la police de l'éditeur :
Utilisez les touches de raccourci :
Autres méthodes :
Utiliser la fonction "Zoom" :
Ajustez la taille de la police du système d'exploitation :
Conseils :
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!