Comment changer la police par défaut de l'éditeur de registre dans Windows 10

Table des matières:

Vidéo: Windows 10 tuto: changer la police par défaut de Windows 2024

Vidéo: Windows 10 tuto: changer la police par défaut de Windows 2024
Anonim

La dernière version de Preview pour Windows 10 a apporté des améliorations à l’Éditeur de registre. Plus précisément, l'éditeur de registre de Windows 10 a maintenant la barre d'adresse. Mais ce n'est pas tout, vous ne saviez probablement pas que vous pouviez également modifier le type de police dans l'éditeur de registre et personnaliser davantage cet outil.

Eh bien, vous pouvez changer le type de police par défaut de l’Éditeur du Registre et la seule chose dont vous aurez besoin pour cela est l’outil lui-même, car il nécessite la création d’une chaîne qui modifiera la police.

Avant de commencer, n'oubliez pas qu'il est nécessaire d'exécuter au moins la version 14942 de Windows 10 Preview, car cette option n'est pas encore disponible pour le grand public. Nous ne savons pas précisément quand Microsoft le présentera à tous les utilisateurs, mais nous supposons que ce sera avec la prochaine mise à jour majeure pour Windows 10.

Comment changer la police de l'Éditeur du Registre dans Windows 10

Voici exactement ce que vous devez faire pour modifier le type de police dans l'Éditeur du Registre:

  1. Allez à Rechercher, tapez regedit et ouvrez l'Éditeur du Registre.
  2. Collez le chemin de registre suivant dans la barre d'adresse (puisque vous pouvez maintenant): HKEY_LOCAL_MACHINE \ Software \ Microsoft \ Windows \ CurrentVersion
  3. Cliquez avec le bouton droit sur CurrentVersion et sélectionnez Nouveau> Clé.
  4. Nommez cette clé Regedit.
  5. Maintenant, cliquez avec le bouton droit sur Regedit et sélectionnez Nouveau> Chaîne.
  6. Nommez la chaîne 'FontFace'.
  7. Double-cliquez sur FontFace et ajoutez le nom d'une police installée sur le système en tant que valeur. Si vous ne savez pas quel type de police ajouter, retournez à la recherche, tapez les polices et ouvrez les polices. À partir de là, vous pourrez trouver des informations sur les polices installées sur votre ordinateur.
  8. Redémarrez l'éditeur de registre.

Voilà, la prochaine fois que vous ouvrez l’Éditeur du Registre, le type de police sera modifié.

Si vous avez des commentaires ou des questions, n'hésitez pas à nous le signaler dans les commentaires ci-dessous.

Comment changer la police par défaut de l'éditeur de registre dans Windows 10