Changer le visage de la police de l'éditeur de registre dans la mise à jour de Windows 10 Creators

Éditeur du Registre dans Windows 10 Redstone 2 Preview build 14942 a obtenu une barre d'adresse comme nous l'avons vu précédemment. La version d'aperçu de Redstone 2 introduit une autre fonctionnalité mineure dans l'éditeur de registre. Vous pouvez modifier la police par défaut de l'Éditeur du Registre, sans avoir à modifier les paramètres de police globaux, c'est-à-dire sans affecter les autres zones du shell Windows.

Mise à jour (décembre 2016) : À partir de Windows 10 Creators Update (ou Redstone 2) Insider Preview Build 14986, la police de caractères de l'éditeur de registre peut être modifiée à l'aide des options de menu intégrées. Pas besoin de modifier l'entrée de registre manuellement. De Regedit Voir menu, cliquez sur Police de caractère. 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 police de l'éditeur de 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 PoliceFace 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 – Valeur REG_DWORD – Les données de valeur peuvent être 1 ou 0.
• FontWeight et FontHeight – Valeurs REG_DWORD – Stockez la valeur de poids ou d'épaisseur de la police.

Comme indiqué précédemment, vous n'avez pas besoin de modifier le registre manuellement, car la fonctionnalité est intégrée dans l'interface graphique de l'éditeur de registre à partir de la version 14986 de la mise à jour des créateurs de Windows 10.

Captures d'écran