Comment changer la police dans le bloc-notes

Comment changer la police dans le bloc-notes ?

Cliquez d'abord sur Paramètres et sélectionnez les paramètres de format de langue.

La boîte de dialogue de configuration du format de langue apparaît, dans laquelle vous pouvez définir la couleur de premier plan, la couleur d'arrière-plan, la police, la taille de la police, le gras, etc.

Après l'avoir défini au format souhaité, n'oubliez pas l'étape la plus importante, cochez les cases ci-dessous pour utiliser les paramètres globaux.

Cliquez sur Enregistrer et fermer pour terminer les paramètres.

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!