L'éditeur de registre dans Windows 10 Redstone 2 Preview build 14942 a une barre d'adresse comme nous l'avons vu précédemment. La version d'aperçu de Redstone 2 introduit un autre ajout de fonctionnalités mineures à l'Éditeur du Registre. Vous pouvez modifier la police par défaut de l'Éditeur du Registre, sans avoir à modifier les paramètres de police globale, c'est-à-dire sans affecter d'autres zones du shell Windows.
Mise à jour (décembre 2016): à partir de la mise à jour des créateurs Windows 10 (ou Redstone 2) Insider Preview Build 14986, la face de la police de l'Éditeur du Registre peut être modifiée à l'aide des options du menu intégré. Pas besoin de modifier manuellement l'entrée de registre. Dans le menu Affichage de Regedit, cliquez sur Police . Vous pouvez modifier la police, le style et la taille de la police dans la boîte de dialogue qui s'affiche.
Paramètres de visage de police de l'Éditeur du Registre
Les paramètres de police de l'Éditeur du Registre sont stockés dans la clé suivante:
HKEY_LOCAL_MACHINE \ Software \ Microsoft \ Windows \ CurrentVersion \ Regedit
La valeur de chaîne nommée FontFace stocke le nom de la police, comme Georgia, Calibri, Trebuchet MS, Segoe UI, Segoe UI Light, Segoe UI Bold etc.
Les paramètres de style et de taille de police sont stockés dans d'autres valeurs de registre (indiquées ci-dessous). Voici la liste des valeurs de registre où les préférences de police Regedit sont stockées.
- FontFace - Valeur REG_SZ - Contient le nom de la police.
- FontItalic - REG_DWORD value - Les données de valeur peuvent être 1 ou 0.
- FontWeight et FontHeight - valeurs REG_DWORD - stockent le poids ou l'épaisseur de la police.
Comme indiqué précédemment, vous n'avez pas à modifier le registre manuellement, car la fonctionnalité est intégrée dans l'interface graphique de l'éditeur de registre à partir de la mise à jour 14986 de Windows 10 Creators Update.
Captures d'écran
