Maison > Article > outils de développement > Comment ajuster la police dans phpstorm
La police par défaut est trop petite et moche et doit être modifiée. C’est un trouble obsessionnel-compulsif, oui. Capture d'écran ci-dessous avec description textuelle.
Tutoriel recommandé : Tutoriel d'installation et d'utilisation de phpstrom
1. Entrez d'abord les paramètres, pas d'explication
2. Définissez d'abord la police sur l'interface du logiciel. Après avoir entré les paramètres, sélectionnez Apparence. Après cela, les captures d'écran du logiciel deviendront beaucoup plus claires.
3. Définissez ensuite la police et la taille du contenu de l'éditeur. Après être entré dans l'éditeur comme indiqué sur l'image, sélectionnez "Polices et couleurs", puis enregistrez-en d'abord une. Vous devez en enregistrer un avant de pouvoir le modifier.
4. Puis configurez et enfin enregistrez. La capture d'écran entière est bien meilleure. Que cela soit beau ou pas, que vous vous y habituiez ou non, tout dépend de la configuration que vous aimez.
Informations sur l'extension :
PhpStorm est Outil de développement commercial intégré PHP développé par JetBrains, visant à améliorer l'efficacité des utilisateurs, il peut comprendre en profondeur le codage de l'utilisateur, fournir une complétion de code intelligente, une navigation rapide et une vérification instantanée des erreurs.
Avantages :
1. Multiplateforme.
2. Prise en charge de la fonction de refactorisation pour PHP.
3. Générez automatiquement des commentaires phpdoc, ce qui est très pratique pour la programmation à grande échelle.
4. Prise en charge intégrée de Zencode.
5. Générez le diagramme des relations d'héritage de la classe S'il existe une classe, après plusieurs héritages, vous pouvez utiliser cette fonction pour afficher toutes ses relations parentales.
6. Prise en charge de la refactorisation du code pour faciliter la modification du code.
7. Possède une fonction d'histoire locale (fonction d'histoire locale).
8. Déploiement pratique, vous pouvez directement télécharger le code sur le serveur.
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!