Maison > outils de développement > bloc-notes > Comment changer la police dans le bloc-notes

Comment changer la police dans le bloc-notes

(*-*)浩
Libérer: 2019-08-21 17:11:25
original
4906 Les gens l'ont consulté

Le Bloc-notes a non seulement une coloration syntaxique, mais dispose également d'une fonction de pliage de syntaxe et prend en charge les macros et les modules de plug-in qui étendent les fonctions de base. Comment modifier la police du bloc-notes ?

Comment changer la police dans le bloc-notes

Ouvrez le bloc-notes, cliquez sur [Paramètres] - [Paramètres de format de langue] dans la barre de menu du bloc-notes (apprentissage recommandé :  ; bloc-notes Utilisez )

Comment changer la police dans le bloc-notes

pour accéder à l'interface de réglage du format de langue

Comment changer la police dans le bloc-notes

Modifiez la police dans [Nom de la police] dans [Style de police] et cochez [Utiliser la police globale]

Comment changer la police dans le bloc-notes

Appuyez ensuite sur le bouton [Enregistrer et fermer]

Comment changer 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!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
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
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal