Comment ajuster la police dans Webstorm

Comment ajuster les polices dans WebStorm ? Dans Apparence et comportement > Paramètres de police, sélectionnez une police, ajustez la taille et le style, prévisualisez l'effet et enfin enregistrez vos modifications.

Comment ajuster les polices dans WebStorm

Étape 1 : ouvrez les paramètres de police

Dans la barre de menu de la fenêtre WebStorm, cliquez sur Fichier > Paramètres (Windows/Linux) ou WebStorm>Préférences (macOS) . Dans le volet de gauche, sélectionnez Apparence et comportement > Polices.

Étape 2 : Choisissez une police

Dans l'onglet Polices, recherchez et sélectionnez la police que vous souhaitez utiliser. Vous pouvez utiliser la barre de recherche pour affiner votre recherche.

Étape 3 : Ajuster la taille et le style de la police

Dans le champ Police, entrez la taille de police que vous souhaitez utiliser (en pixels). Vous pouvez également choisir d’autres styles de police tels que gras, italique ou souligné.

Étape 4 : Prévisualiser la police

Dans la zone Aperçu, vous pouvez prévisualiser la police avant d'appliquer les modifications. Si vous n'êtes pas satisfait des résultats, cliquez sur le bouton "Restaurer les paramètres par défaut" pour restaurer les paramètres de police par défaut.

Étape 5 : Enregistrer les modifications

Si vous êtes satisfait des modifications, cliquez sur le bouton « Appliquer » pour enregistrer les paramètres. WebStorm se rechargera et les nouveaux paramètres de police prendront effet.

Astuce :

• Vous pouvez également ouvrir les paramètres de police en appuyant sur les touches de raccourci Ctrl + Alt + S (Windows/Linux) ou Cmd + Alt + S (macOS).
• Si vous ne trouvez pas la police souhaitée, essayez de l'installer ou utilisez un gestionnaire de polices pour l'installer.
• WebStorm prend en charge plusieurs formats de police, notamment TTF, OTF et WOFF.

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!