Comment changer la taille de la police dans phpstorm ?

phpstorm est un logiciel spécialement conçu pour le développement PHP. Sa puissance est qu'il peut compléter intelligemment le code et même vérifier le code que vous avez écrit. S'il y a une erreur, il vous le demandera. De nombreux utilisateurs de ce logiciel se sont plaints auprès de l'éditeur de la conception de son interface. Les amis qui l'ont utilisé savent que la conception de son interface est relativement simple, mais que la police est très petite. Alors comment modifier la taille du corps de phpstorm ?

Comment changer la taille de la police dans phpstorm :

1. Ouvrez d'abord le logiciel PhpStorm et recherchez les paramètres dans le fichier. dans le coin supérieur gauche.

2. Il y aura de nombreux paramètres dans l'interface [Paramètres], recherchez [Éditeur]-->[Couleur et police ]- ->[Police]

Après ouverture, modifiez le numéro en taille dans l'interface de droite pour changer la taille de la police de la zone d'édition du code ; enregistrez-le après modification.

Remarque : les utilisateurs qui le configurent pour la première fois doivent d'abord l'enregistrer, puis le modifier !

Cliquez sur Enregistrer sous pour enregistrer en tant que plan

De cette façon, la police, la taille de la police et l'espacement des lignes peuvent tous être modifiés

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!