communauté Apprendre Bibliothèque d'outils Loisirs
recherche
Français
Maison > outils de développement > bloc-notes > Comment définir la taille de la police dans le bloc-notes

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

(*-*)浩
Libérer： 2019-08-21 14:19:43
original
5600 Les gens l'ont consulté

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

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

Première étape : ouvrons d'abord le bloc-notes (celui-ci doit être ouvert (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 : Après avoir trouvé les paramètres, 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 styles de police définis pour différentes langues. Définissez la taille de la police ici. Après le réglage, cliquez sur Enregistrer et 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!

Étiquettes associées：
notepad
source：php.cn
Article précédent：Quel logiciel est Notepad++ ? Article suivant：Comment remplacer des mots par des sauts de ligne dans le bloc-notes
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
Derniers articles par auteur
Derniers numéros
function_exists() ne peut pas déterminer la fonction personnalisée Function test () {return true;} if (function_exists ('test')) {echo "le test est une ...
Depuis 2024-04-29 11:01:01
0
3
2349
Comment afficher la version mobile de Google Chrome Bonjour professeur, comment puis-je changer Google Chrome en version mobile ?
Depuis 2024-04-23 00:22:19
0
11
2479
La fenêtre enfant exploite la fenêtre parent, mais la sortie ne répond pas. Les deux premières phrases sont exécutables, mais la dernière ne peut pas être implémentée...
Depuis 2024-04-19 15:37:47
0
1
2100
Il n'y a aucune sortie dans la fenêtre parent document.onclick = function(){ window.opener.document.write('Je suis la sortie de la fenêt...
Depuis 2024-04-18 23:52:34
0
1
1981
Où sont les didacticiels sur la cartographie mentale CSS ? Didacticiel
Depuis 2024-04-16 10:10:18
0
0
2049
Rubriques connexes
Plus>
Recommandations populaires
Tutoriels populaires
Plus>
Tutoriels associés
Recommandations populaires
Derniers cours
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal