Comment ajuster la taille de la police dans Webstorm

下次还敢
Libérer: 2024-04-08 12:33:25
original
1096 Les gens l'ont consulté

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

Comment ajuster la taille de la police dans WebStorm

Modifiez directement la taille de la police de l'éditeur :

  • Dans la barre de menu WebStorm, cliquez sur "Affichage" > "Apparence" > Couleurs"
  • Dans l'onglet "Police", ajustez la taille de la police sous "Police de l'éditeur"

Utilisez les touches de raccourci :

  • Ctrl + Alt + touches numériques (0-9) : augmenter ou diminuer la police taille Small
  • Ctrl + = : Augmenter la taille de la police
  • Ctrl + - : Diminuer la taille de la police

Autres méthodes :

  • Utiliser la fonction "Zoom" :

    • Dans la barre de menu WebStorm, cliquez sur "Affichage" > "Zoom"
    • Sélectionnez le taux de zoom souhaité dans le menu déroulant
  • Ajustez la taille de la police du système d'exploitation :

    • Cela affectera toutes les applications, y compris WebStorm
    • sous Windows. système, faites un clic droit sur le bureau et sélectionnez « Paramètres d'affichage » > « Échelle et disposition »
    • Dans le système Mac, cliquez sur le menu Pomme dans le coin supérieur gauche et sélectionnez « Préférences Système » > « Écrans »
    • .

Conseils :

  • La taille de la police peut être ajustée en fonction de la résolution de l'écran et des préférences personnelles.
  • L'utilisation de polices plus grandes peut réduire la fatigue oculaire, en particulier lors du codage sur de longues périodes.
  • WebStorm vous permet de définir différentes tailles de police pour différents types de fichiers.

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!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal
À propos de nous Clause de non-responsabilité Sitemap
Site Web PHP chinois:Formation PHP en ligne sur le bien-être public,Aidez les apprenants PHP à grandir rapidement!