Maison  >  Article  >  outils de développement  >  Comment définir la taille de la police dans le bloc-notes

Comment définir la taille de la police dans le bloc-notes

(*-*)浩
(*-*)浩original
2019-08-08 15:58:254738parcourir

Comment définir la taille de la police dans le bloc-notes

Première étape : ouvrons d'abord le bloc-notes ; (apprentissage recommandé : utilisation du bloc-notes)

Comment définir la taille de la police dans le bloc-notes

Étape 2 : Rechercher les paramètres dans la barre de menu du logiciel

Comment définir la taille de la police dans le bloc-notes

Étape 3 : Rechercher après le réglage ; , cliquez sur « Paramètres de format de langue » ;

Comment définir la taille de la police dans le bloc-notes

Étape 4 : Vous verrez ces paramètres pour les styles de police dans différentes langues, qui peuvent être définis ici. taille, cliquez sur le bouton [Enregistrer et fermer] lorsque vous avez terminé.

Comment définir la taille de la police dans le bloc-notes

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