Microsoft a introduit deux nouvelles fonctionnalités principales dans le Éditeur de registre dans Windows 10 - un, un Barre d'adresse qui vous permet d'accéder rapidement à n'importe quelle clé de registre, et deux, la possibilité de changer les polices. Le registre Windows est un répertoire qui stocke les paramètres et les options du système d'exploitation pour Microsoft Windows. Il contient des informations et des paramètres pour tout le matériel, les logiciels du système d'exploitation, la plupart des logiciels non liés au système d'exploitation, les utilisateurs, les préférences du PC, etc.
Barre d'adresse dans le registre Windows
Le nouveau Barre d'adresse permet à un utilisateur expérimenté de voir facilement son chemin de clé de registre actuel et de le copier si nécessaire. Il devient également plus facile de passer à n'importe quelle clé de registre. Vous n'avez plus besoin de naviguer manuellement jusqu'à la clé. Vous pouvez simplement copier-coller le chemin connu dans la barre d'adresse et appuyer sur Entrée.
La barre d'adresse ressemble à la barre d'adresse trouvée dans l'explorateur de fichiers. Le principal avantage de l'utilisation est évidemment le fait qu'il offre aux utilisateurs des options de navigation plus faciles lorsqu'ils souhaitent rechercher quelque chose de pertinent dans les paramètres du registre et y accéder directement car cela vous permet de coller facilement l'adresse et d'y accéder rapidement. Mais vous ne pouvez pas utiliser la barre d'adresse dans l'éditeur de registre pour effectuer des recherches par mot-clé. Vous devrez toujours utiliser Ctrl+F ou Edition> Rechercher.
Vous avez également la possibilité de masquer la barre d'adresse de la vue. Pour ce faire, cliquez sur l'onglet « Affichage » adjacent à « Modifier » dans la fenêtre de l'Éditeur du Registre et cliquez sur l'option « Barre d'adresses » pour simplement masquer la barre de la vue.
Plutôt que de taper l'adresse complète HKEY_Classes_Root… en entier, vous pouvez aussi simplement taper CRHK. Voici la liste des raccourcis disponibles :
- HKEY_LOCAL_MACHINE : HKLM
- HKEY_Classes_Root : CRHK
- HKEY_USERS : HKU
- HKEY_CURRENT_USER : HKCU
Vous pouvez utiliser CTRL+L ou alors ALT+D raccourci clavier pour définir le focus sur la barre d'adresse et accéder rapidement à un emplacement. Vous n'avez plus besoin d'utiliser de logiciel tiers maintenant.
Les utilisateurs de Windows 8/7 peuvent utiliser ces logiciels gratuits, un VBScript ou un script batch pour accéder directement à n'importe quelle clé de registre.
Changer la police dans le registre Windows
L'éditeur de registre est désormais également équipé d'une nouvelle fonctionnalité qui vous permet de modifier sa police, son style de police et la taille de l'éditeur de registre. Faire des changements est simple.
Choisissez l'onglet 'Affichage' de l'éditeur et sélectionnez l'option 'Police'. Apportez des modifications, comme vous le souhaitez.
Si vous avez besoin de plus, consultez cet article sur les astuces et fonctionnalités de l'éditeur de registre Windows.