Comment changer la police dans l'éditeur de registre sous Windows 10?

Si 'Puis-je changer la police de l'éditeur du registre dans Windows 10?' est une question qui vous empêche de dormir la nuit, alors vous pouvez vous réjouir de ce qui suit: Windows 10 Insider Preview Build 14946 a apporté une foule d'améliorations, y compris celle qui vous permet de personnaliser le type de police dans votre éditeur de registre. Heureusement, adapter l'outil de cette façon n'est pas sorcier, et pourtant vous devez être extrêmement prudent. Veuillez suivre nos instructions à un T afin d'éviter d'endommager votre système d'exploitation.

Sauvegardez vos données



Perdre définitivement vos précieux fichiers et dossiers est un véritable drame - c'est probablement ce que vous ne souhaiteriez pas à votre pire ennemi. Dans cet esprit, assurez-vous que vos données sont conservées saines et sauves. Par exemple, enregistrez vos éléments importants sur un périphérique de stockage externe ou dans un cloud ou migrez-les vers une autre machine, au cas où.

Sauvegardez votre registre

Une autre précaution importante à prendre consiste à sauvegarder votre registre. Cela vous permet de protéger votre système en cas de catastrophe: si les choses tournent mal, la restauration de votre registre à un état antérieur peut s'avérer être le seul moyen de remettre votre système d'exploitation sur les rails.



Pour sauvegarder votre registre dans Windows 10, procédez comme suit:

  1. Ouvrez l'Éditeur du Registre: appuyez sur la touche de logo Windows + combo S, tapez «regedit» sans guillemets et appuyez sur Entrée. Vous serez redirigé vers l'application. Cependant, pour y arriver, vous devrez peut-être sélectionner la vignette correspondante dans la liste des options disponibles. Assurez-vous que vous vous souvenez de votre mot de passe administrateur - il vous sera peut-être demandé. Si vous êtes invité à confirmer, fournissez-le.
  2. Une fois que vous êtes dans l'Éditeur du Registre, procédez comme suit:
    1. Pour sauvegarder l'intégralité du registre (nous vous recommandons d'opter pour cette option), recherchez Ordinateur dans le volet gauche et cliquez dessus avec le bouton droit. Sélectionnez Exporter dans le menu. Donnez à la sauvegarde un nom approprié et choisissez où l'enregistrer.
    2. Pour sauvegarder une clé spécifique, accédez-y. Cliquez dessus, puis sélectionnez Fichier-> Exporter. Nommez votre copie de sauvegarde et enregistrez-la dans un endroit sûr.

Vous pourrez restaurer à partir de votre sauvegarde manuelle en ouvrant l'Éditeur du Registre, en allant dans Fichier> Importer et en sélectionnant le fichier de sauvegarde.

Changer le type de police dans l'Éditeur du Registre



Vous trouverez ci-dessous un guide étape par étape sur la façon de modifier la police de l'éditeur du registre pour tous les utilisateurs sous Windows 10:

  1. Assurez-vous que vous êtes connecté en tant qu'administrateur, sinon vous n'aurez pas suffisamment de droits pour effectuer l'opération en question.
  2. Lancez l'éditeur de registre (comme décrit ci-dessus) et accédez à la barre d'adresse.
  3. Coller HKEY_LOCAL_MACHINE Software Microsoft Windows CurrentVersion
  4. Accédez à CurrentVersion et cliquez dessus avec le bouton droit de la souris.
  5. Sélectionnez Nouveau. Cliquez ensuite sur Clé.
  6. Cette clé doit être nommée «regedit».
  7. Cliquez avec le bouton droit sur la clé.
  8. Allez dans Nouveau. Sélectionnez Chaîne.
  9. Nommez la nouvelle chaîne «FontFace» et double-cliquez dessus.
  10. Tapez le nom de la police vers laquelle vous souhaitez basculer dans la zone Données de la valeur. Pour voir quelles polices sont disponibles et quels sont leurs noms, accédez au dossier C: Windows Font.
  11. Une fois que vous avez terminé, cliquez sur OK et quittez l'éditeur de registre.

Vous devriez maintenant pouvoir profiter du changement.

Remarque: l'Éditeur du registre est un outil intégré qui vous permet d'apporter des modifications au registre Windows, qui est un composant essentiel de votre système d'exploitation. Techniquement, le registre Windows est un ensemble de bases de données dans lesquelles sont stockées vos informations système importantes, vos paramètres, vos valeurs et vos options. Ils sont essentiels pour le fonctionnement de votre système d'exploitation; il est donc essentiel que votre registre soit dans un état impeccable. Pour ce faire, vous devez vous assurer qu'il n'y a pas d'entrées invalides, corrompues ou défectueuses.

Le problème est que le registre Windows est un système extrêmement sophistiqué et fragile. Travailler dessus nécessite une grande maîtrise technique, ce qui rend difficile pour l'utilisateur Windows moyen de tout garder en ordre. À la lumière de cela, l'automatisation du travail avec un outil dédié est à ce jour le pari le plus sûr. Cependant, gardez à l'esprit que vous ne devez utiliser qu'un outil de confiance qui a fait ses preuves en termes de sécurité et d'efficacité. À cet égard, nous aimerions vous offrir un programme fiable et efficace: BoostSpeed ​​est équipé d'un nettoyeur de registre de pointe qui gardera votre registre en parfait état en effectuant tous les nettoyages et ajustements nécessaires.



La meilleure chose à propos du logiciel est qu'il s'agit en fait d'une solution universelle au problème de la bonne santé de Windows. La nécessité de maintenir manuellement ses performances appartient désormais au passé: en naviguant dans l'interface intuitive de BoostSpeed, vous pouvez lancer de puissants outils d'optimisation et de sécurité en cliquant simplement sur des boutons. De cette façon, vous optimiserez votre système d'exploitation Windows, ouvrant la voie à une expérience utilisateur époustouflante.

Si vous avez des questions, des préoccupations ou des commentaires, n'hésitez pas à les poster ci-dessous.