Maison > Article > outils de développement > Comment définir la police dans phpstorm
Comment définir la police dans phpstorm
- 爱喝马黛茶的安东尼original
- 2019-08-08 09:58:114792parcourir
Cliquez d'abord sur "Fichier" dans la barre de menu et sélectionnez "Paramètres" dans le menu déroulant.
Recommandations associées : "Tutoriel d'utilisation de PhpStorm"
Après avoir entré les paramètres, sélectionnez "Apparence". Définissez la valeur de "Taille" pour définir la police sur l'interface.
Définissez ensuite la police et la taille du contenu de l'éditeur. Sélectionnez « Couleurs et polices », puis définissez la valeur de « Taille ».
L'effet est le suivant :
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!
Déclaration：
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Article précédent：Comment configurer le chinois dans phpstormArticle suivant：Comment configurer le chinois dans phpstorm