Comment changer la taille de la police dans Webstorm

Oui, WebStorm permet de modifier la taille de la police via le panneau Paramètres : sous Paramètres du thème, utilisez le menu déroulant pour sélectionner les polices et le curseur pour ajuster la taille de la police. Par raccourci clavier : Ctrl + + / - pour Windows/Linux, Cmd + + / - pour macOS.

Comment changer la taille de la police dans WebStorm

WebStorm vous permet d'ajuster la taille des polices de texte et de code pour améliorer la lisibilité et le confort de votre code. Voici comment modifier la taille de la police :

1. Modifiez-la via le panneau Paramètres

• Accédez à Fichier > Paramètres (Windows/Linux) ou WebStorm > Préférences (macOS).
• Dans le volet de gauche, sélectionnez Apparence et comportement > Thèmes.
• Dans la section Polices du volet de droite, utilisez le menu déroulant Police pour sélectionner votre police préférée.
• Utilisez le curseur à côté de « Taille de la police » pour ajuster la taille de la police.

2. Changer via un raccourci clavier

• Windows/Linux : Maintenez Ctrl + + ou Ctrl + -Ctrl + + 或 Ctrl + -
• macOS： 按住 Cmd + + 或 Cmd + -

macOS :

Appuyez et maintenez Cmd + + ou Cmd + - >

🎜🎜Les modifications seront appliquées immédiatement sans redémarrer 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!