Modifier la police du registre dans la mise à jour de Windows 10 Creators

À partir de Windows 10 build 14986, le système d'exploitation dispose d'une nouvelle fonctionnalité. Désormais, l'application Éditeur du Registre vous permet de modifier sa police rapidement et facilement. Voyons comment cela peut être fait.

La possibilité de modifier la police du Registre a été implémentée dans Windows 10 il y a quelques versions. Cela nécessitait un ajustement du Registre. Enfin, l'option appropriée a été ajoutée à l'interface graphique de l'application.

Modifier la police du registre dans la mise à jour de Windows 10 Creators

Pour changer la police du Registre, vous devez avoir installé Windows 10 version 14986 ou au-dessus. Faites-le comme suit.

1. Ouvert Éditeur de registre.
2. Cliquez sur l'élément de menu Affichage - Police :
3. La boîte de dialogue Police par défaut apparaîtra à l'écran. Là, vous pouvez choisir une nouvelle police pour l'application de l'éditeur de registre.

Techniquement, la police sera stockée dans le Registre sous la clé suivante :

HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\RegEdit

Les attributs de police sont stockés dans les valeurs suivantes :

• PoliceFace - la valeur de chaîne qui contient le nom de la police.
• FontItalique - il s'agit du paramètre DWORD 32 bits qui peut valoir 1 ou 0.
• Poids de la police et Hauteur de police - ces valeurs DWORD 32 bits définissent l'épaisseur et la taille de la police.

Vous pouvez les exporter dans un fichier *.REG et l'utiliser plus tard lorsque vous aurez besoin de restaurer votre police de l'Éditeur du Registre.

C'est ça.