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

• Zoom avant : Ctrl/Cmd + +
• Zoom arrière : Ctrl/Cmd + -
• Réinitialisation : Ctrl/Cmd + 0

Méthode 2 : Cliquez sur le menu "Fichier" dans la barre de menu supérieure via le menu des paramètres

1. .
2. Sélectionnez Paramètres > Apparence et comportement.
3. Sous l'onglet "Apparence", recherchez la section "Polices".
4. Entrez la taille de police souhaitée dans le champ « Taille de police ».

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 :

• Faites défiler vers le haut : Agrandissez la police
• Faites défiler vers le bas : Réduisez la police

Conseil :

• La modification de la taille de la police affectera également la taille des autres éléments de l'éditeur, tels que les menus et les étiquettes.
• En mode code, vous pouvez également utiliser les touches de raccourci Ctrl/Cmd + Alt + S 或 Ctrl/Cmd + Alt + E pour ajuster le style de codage et l'indentation.
• Si vous utilisez un thème personnalisé, il peut remplacer les paramètres de police par défaut de WebStorm.

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!