Maison > Article > outils de développement > Comment changer la taille de la police dans Webstorm
WebStorm propose plusieurs façons de modifier la taille de la police : 1. Touches de raccourci (agrandir : Ctrl/Cmd + +, réduire : Ctrl/Cmd + -, réinitialiser : Ctrl/Cmd + 0 2. Menu Paramètres (Fichier> ; Paramètres) ; > Apparence et comportement > Apparence > Polices > Taille de la police ; 3. Barre de défilement (faites défiler vers le haut pour effectuer un zoom avant, faites défiler vers le bas pour effectuer un zoom arrière).
Comment changer la taille de la police dans WebStorm
WebStorm propose plusieurs options pour modifier la taille de la police en fonction de vos préférences et des paramètres de votre écran.
Méthode 1 : Utiliser les touches de raccourci
Méthode 2 : Cliquez sur le menu "Fichier" dans la barre de menu supérieure via le menu des paramètres
Méthode 3 : Utilisez la barre de défilement
Dans certains cas, une barre de défilement apparaîtra près de la fenêtre d'édition de WebStorm :
Conseil :
Ctrl/Cmd + Alt + S
或 Ctrl/Cmd + Alt + E
pour ajuster le style de codage et l'indentation. 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!