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

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

Les informations de configuration du système sont stockées de manière centralisée dans une base de données hiérarchique appelée Registre. Vous pouvez utiliser l'Éditeur du Registre pour ajouter et modifier des clés et des valeurs de registre, restaurer le registre à partir de sauvegardes ou de valeurs par défaut, importer ou exporter des clés à des fins de référence ou de sauvegarde.

À partir de Windows 10 build 14942, vous pouvez modifier manuellement la police utilisée par l'Éditeur du Registre par n'importe quelle police que vous avez installée dans Windows.

Ce guide vous montrera comment modifier la police de l'Éditeur du Registre uniquement pour votre compte ou pour tous les utilisateurs de Windows 10.

Changer la police dans l'Éditeur du Registre pour l'utilisateur actuel uniquement

1. Appuyez sur les touches Win+ Rpour ouvrir Exécuter , entrez regedit dans Exécuter et appuyez sur OK pour ouvrir l'Éditeur du Registre .

2. Dans l'Éditeur du Registre , cliquez sur Affichage (barre de menu) et cliquez sur Police.

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

Cliquez sur Affichage (barre de menu) et cliquez sur Police

3. Sélectionnez la police, le style de police et la taille souhaités, puis cliquez sur OK.

Les paramètres de police par défaut pour l'Éditeur du Registre sont affichés dans la capture d'écran ci-dessous.

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

Définir la police par défaut pour l'Éditeur du Registre

Modifier les polices dans l'Éditeur du Registre pour tous les utilisateurs

Remarque : Vous devez être connecté avec les droits d'administrateur pour utiliser cette option.

1. Appuyez sur les touches Win+ Rpour ouvrir Exécuter , entrez regedit dans Exécuter et appuyez sur OK pour ouvrir l'Éditeur du Registre.

2. Si l'UAC vous y invite, cliquez sur Oui.

3. Accédez à l'emplacement de la clé de registre ci-dessous dans l'Éditeur du Registre.

HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Regedit

Remarque : La clé Regedit n'est pas là par défaut sauf si vous l'avez ajoutée.

Pour ajouter la clé Regedit , cliquez avec le bouton droit ou appuyez et maintenez la touche CurrentVersion , cliquez sur Nouveau > Clé , entrez Regedit et appuyez sur Enter.

4. Dans le panneau de droite de la clé Regedit , double-cliquez sur la valeur de la chaîne FontFace pour la modifier.

La valeur de la chaîne FontFace n'est pas présente par défaut, sauf si vous l'avez ajoutée.

Pour ajouter la valeur de chaîne FontFace , cliquez avec le bouton droit ou appuyez et maintenez sur un espace vide dans le panneau droit de la touche Regedit , cliquez sur Nouveau > Valeur de chaîne , entrez FontFace et appuyez sur Enter.

5. Saisissez le nom de la police (par exemple, « Segoe UI Bold ») que vous souhaitez utiliser et cliquez sur OK.

Pour voir les polices disponibles et leurs noms :

A) Ouvrez le dossier C:\Windows\Font .

B) Vous pouvez cliquer sur une famille de polices (par exemple « Segoe UI ») pour l'ouvrir et voir les noms de police individuels (par exemple « Segoe UI Bold ») au sein de la famille.

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

Afficher les polices disponibles et leurs noms

6. Fermez et rouvrez l'Éditeur du Registre pour appliquer les modifications.

Restaurer les polices par défaut dans l'Éditeur du Registre pour tous les utilisateurs

Remarque : Vous devez être connecté en tant qu'administrateur pour utiliser cette option.

1. Appuyez sur les touches Win+ Rpour ouvrir Exécuter , entrez regedit dans Exécuter et appuyez sur OK pour ouvrir l'Éditeur du Registre.

2. Si l'UAC vous y invite, cliquez sur Oui.

3. Accédez à l'emplacement de la clé de registre ci-dessous dans l'Éditeur du Registre.

HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Regedit

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

Accédez à l'emplacement de la clé de registre ci-dessus

4. Cliquez avec le bouton droit ou appuyez et maintenez la touche Regedit et cliquez sur Supprimer.

5. Cliquez sur Oui pour confirmer.

6. Fermez et rouvrez l'Éditeur du Registre pour appliquer les modifications.


Comment lancer des applications instantanément avec Wox sous Windows

Comment lancer des applications instantanément avec Wox sous Windows

Découvrez comment utiliser Wox pour lancer vos applications, exécuter des commandes et plus encore, instantanément.

Comment créer un cercle jaune autour du pointeur de la souris sous Windows

Comment créer un cercle jaune autour du pointeur de la souris sous Windows

Découvrez comment créer un cercle jaune autour du pointeur de la souris pour le mettre en surbrillance sur Windows 10. Suivez ces étapes faciles pour améliorer votre expérience utilisateur.

Pourquoi ladresse IP de Localhost est-elle 127.0.0.1 ?

Pourquoi ladresse IP de Localhost est-elle 127.0.0.1 ?

Découvrez pourquoi l

Comment ajouter des raccourcis de dossiers au menu Démarrer sous Windows 11

Comment ajouter des raccourcis de dossiers au menu Démarrer sous Windows 11

Sous Windows 11, configurez facilement des raccourcis pour accéder rapidement à des dossiers spéciaux dans votre menu Démarrer.

8 façons de corriger lerreur Il ny a aucun élément de démarrage à afficher dans le Gestionnaire des tâches sous Windows

8 façons de corriger lerreur Il ny a aucun élément de démarrage à afficher dans le Gestionnaire des tâches sous Windows

Découvrez comment résoudre l

Comment utiliser un disque dur externe avec un Chromebook

Comment utiliser un disque dur externe avec un Chromebook

Découvrez comment utiliser un disque dur externe avec un Chromebook pour transférer et stocker vos fichiers en toute sécurité. Suivez nos étapes pour un usage optimal.

Comment activer une adresse MAC aléatoire pour le réseau WiFi sous Windows 10

Comment activer une adresse MAC aléatoire pour le réseau WiFi sous Windows 10

Dans ce guide, vous apprendrez les étapes pour toujours utiliser une adresse MAC aléatoire pour votre adaptateur WiFi sous Windows 10. Optimisez votre sécurité en ligne!

Instructions pour désinstaller Internet Explorer sous Windows 10

Instructions pour désinstaller Internet Explorer sous Windows 10

Découvrez comment désinstaller Internet Explorer 11 sur Windows 10 pour optimiser l'espace de votre disque dur.

Comment utiliser Smart Defrag pour défragmenter efficacement les disques durs

Comment utiliser Smart Defrag pour défragmenter efficacement les disques durs

Découvrez comment utiliser Smart Defrag, un logiciel de défragmentation de disque dur gratuit et efficace, pour améliorer les performances de votre ordinateur.

Comment partager un VPN via un point daccès WiFi depuis un ordinateur portable

Comment partager un VPN via un point daccès WiFi depuis un ordinateur portable

Le moyen le plus simple de déverrouiller du contenu et de protéger tous les appareils avec un VPN crypté est de partager la connexion VPN via un point d