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.


6 étapes simples pour installer la redirection de port sur le routeur

6 étapes simples pour installer la redirection de port sur le routeur

La redirection de port est largement utilisée, notamment dans les bureaux, les écoles et les foyers disposant de nombreux ordinateurs connectés à Internet. L'article ci-dessous LuckyTemplates vous montrera comment configurer une redirection de port sur le routeur.

Comment réparer lorsquun site Web spécifique nest pas accessible

Comment réparer lorsquun site Web spécifique nest pas accessible

Avez-vous déjà été dans une situation où vous avez essayé d'accéder à un site Web et celui-ci n'a pas réussi à se charger, alors que tout le monde pouvait toujours y accéder ? Cela peut avoir de nombreuses causes différentes.

Comment résoudre les problèmes de boucle de démarrage sous Windows

Comment résoudre les problèmes de boucle de démarrage sous Windows

Le logo du démarrage semble collé sur un écran noir avec un petit cercle tournant. Il s'agit d'un problème assez courant sous Windows, quelle que soit l'ancienne ou la nouvelle version.

Comment ajouter/supprimer Autoriser les minuteries de réveil des options dalimentation dans Windows 10

Comment ajouter/supprimer Autoriser les minuteries de réveil des options dalimentation dans Windows 10

Le paramètre Autoriser les minuteries de réveil dans Options d'alimentation permet à Windows de sortir automatiquement l'ordinateur du mode veille pour effectuer des tâches planifiées et d'autres programmes.

Comment masquer/afficher la barre détat dans lExplorateur de fichiers sous Windows 10

Comment masquer/afficher la barre détat dans lExplorateur de fichiers sous Windows 10

La barre d'état en bas de l'Explorateur de fichiers vous indique le nombre d'éléments contenus et sélectionnés pour le dossier actuellement ouvert. Les deux boutons ci-dessous sont également disponibles sur le côté droit de la barre d'état.

6 logiciels pour surveiller lactivité du disque dur Windows 10

6 logiciels pour surveiller lactivité du disque dur Windows 10

Trop d'activités simultanées sur le disque dur peuvent ralentir le système et vider la batterie de l'ordinateur portable. Vous devez donc surveiller occasionnellement l'activité du disque dur.

Désactivez les composants NVIDIA pour accélérer votre ordinateur

Désactivez les composants NVIDIA pour accélérer votre ordinateur

Les cartes graphiques NVIDIA sont aujourd’hui l’un des appareils qui prennent le mieux en charge les travaux liés à la conception graphique. Cependant, tout le monde ne sait pas qu'il s'agit également d'un facteur qui ralentit l'ordinateur en installant de nombreux composants supplémentaires ainsi que les packages d'installation des pilotes.

6 étapes pour nettoyer la corbeille cachée sous Windows ?

6 étapes pour nettoyer la corbeille cachée sous Windows ?

Les déchets cachés ou cache sont des données des sessions précédentes d'applications et de programmes que le système d'exploitation enregistre pour permettre de télécharger plus rapidement les données des sessions ultérieures. Il gonflera avec le temps si vous le laissez seul, consommant de l'espace mémoire et ralentissant le traitement. Par conséquent, pour récupérer de l'espace sur votre disque dur et accélérer votre ordinateur, vous pouvez vous référer aux étapes de nettoyage de LuckyTemplates ci-dessous.

Quelle est la vraie différence entre les VPN gratuits et payants ?

Quelle est la vraie différence entre les VPN gratuits et payants ?

Le réseau privé virtuel, ou VPN en abrégé, permet aux utilisateurs de se connecter en toute sécurité à un serveur via Internet et offre un anonymat complet pour surfer sur le Web. L'article d'aujourd'hui abordera les différences entre les VPN gratuits et les VPN payants afin que vous puissiez prendre la bonne décision.

Comment utiliser les emoji dans les noms de fichiers sous Windows 10

Comment utiliser les emoji dans les noms de fichiers sous Windows 10

Saviez-vous que les emojis fonctionnent presque partout de nos jours ? Vous pouvez les utiliser dans presque toutes les applications de votre ordinateur, même en les insérant dans les noms de fichiers et de dossiers sous Windows 10.