Comment définir la police Webstorm

Contexte :

Après avoir installé webstorm, j'ai trouvé que la taille de la police était très petite, j'ai donc résumé la méthode de définition de la taille de la police.

(Tutoriel recommandé : webstorm)

1. Ctrl + molette de défilement pour ajuster la taille de la police

Fichier--->Paramètres. (Ctrl + Alt+s)--->Éditeur--->Général--->Modifier la taille de la police (Zoom)... Cochez la case devant. Cliquez simplement sur OK.

Sur la page d'édition du code, Ctrl + faites défiler la molette pour ajuster la taille de la police.

2. Ajustez la taille de la police en modifiant la taille

Fichier--->Paramètres (Ctrl+Alt+s)---> Éditeur --->Police--->Taille.

Cliquez sur Appliquer pour voir si la taille de la police est appropriée. Sinon, ajustez-la. Si c'est le cas, OK. Si le code ne devient pas plus grand ou plus petit à ce moment-là, créez une nouvelle page html et essayez d'ajuster la taille, et tout ira bien (c'est mon cas).

Mais je préfère la première méthode de débogage, qui est simple et directe.

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!