Comment ajuster la taille de la police dans Webstorm

J'ai récemment installé webstorm en raison de besoins professionnels, mais malheureusement la police est trop petite, ce qui rend le travail très gênant. J'ai donc compris comment ajuster la taille de la police.

(Partage de vidéos d'apprentissage : Introduction à la programmation)

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. Comme indiqué ci-dessous

cliquez 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. Comme indiqué ci-dessous.

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.

Recommandations associées : Tutoriel d'utilisation de 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!