Comment changer la taille de la police dans Webstorm

Modifiez la taille de la police dans WebStorm en suivant ces étapes : Ouvrez les Préférences (Windows : Fichier -> Paramètres, Mac : WebStorm -> Préférences). Allez dans « Apparence et comportement » -> « Apparence ». Dans la section "Police", ajustez le champ "Taille" pour modifier la taille de la police. Vous pouvez utiliser les touches de raccourci pour agrandir ou réduire la police, ou pour restaurer la taille par défaut. Vous pouvez définir différentes tailles de police pour différents éléments, utiliser des polices personnalisées et activer la mise à l'échelle des polices pour les ajustements.

Comment changer la taille de la police dans WebStorm

Modifier directement

1. Ouvrez les préférences de WebStorm (Windows : Fichier -> Paramètres ; Mac : WebStorm -> Préférences).
2. Allez dans « Apparence et comportement » -> « Apparence ».
3. Dans la section "Police", ajustez le champ "Taille" pour modifier la taille de la police.

Utilisez les touches de raccourci

1. Appuyez sur Ctrl + + (Windows) ou Commande + + (Mac) Agrandissez la taille de la police. Ctrl + +（Windows）或 Command + +（Mac）放大字体。
2. 按下 Ctrl + -（Windows）或 Command + -（Mac）缩小字体。
3. 按下 Ctrl + 0（Windows）或 Command + 0
Appuyez sur Ctrl + - (Windows) ou Command + - (Mac) pour réduire la taille de la police.

Appuyez sur Ctrl + 0 (Windows) ou Command + 0 (Mac) pour restaurer la taille de police par défaut .

Options supplémentaires
• Définissez différentes tailles de police pour le code, les commentaires et d'autres éléments. Dans la section "Apparence & Comportement" -> "Apparence" ->, développez le champ "Taille" et ajustez les différents éléments individuellement.
Utilisez des polices personnalisées.
• Dans la section « Apparence et comportement » -> « Apparence » -> « Police », cliquez sur « Choisir la police » pour sélectionner un fichier de police personnalisé.
Activer la mise à l'échelle des polices.

Dans la section « Apparence et comportement » -> « Apparence » -> « Autres paramètres », cochez « Activer le zoom de la police » pour ajuster la taille de la police à l'aide du curseur en haut de l'éditeur. 🎜🎜

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!