Barre d'adresse, modification de la police et autres nouvelles fonctionnalités de l'Éditeur du Registre sous Windows 10

Microsoft a introduit deux nouvelles fonctionnalités principales dans le Éditeur de registre dans Windows 10 v1703 - un, un Barre d'adresse qui vous permet de passer 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, le logiciel du système d'exploitation, la plupart des logiciels du système non-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 le chemin de sa clé de registre actuelle et de le copier si nécessaire. Il devient maintenant aussi plus facile de passer à n’importe quelle clé de registre. Vous n'avez plus besoin de naviguer manuellement vers 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 réside évidemment dans le fait qu’il offre aux utilisateurs des options de navigation plus faciles lorsqu’ils souhaitent effectuer une recherche pertinente 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 de l'éditeur de registre pour effectuer des recherches par mot clé. Vous devrez toujours utiliser Ctrl + F ou Édition> Zone de recherche.

Vous avez également la possibilité de cacher la barre d'adresse de vue. Pour ce faire, cliquez sur l'onglet "Affichage" à côté de "Modifier" dans la fenêtre de l'éditeur de registre et cliquez sur l'option "Barre d'adresse" 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 HKCR. Ci-dessous la liste des raccourcis disponibles:

1. HKEY_LOCAL_MACHINE: HKLM
2. HKEY_Classes_Root: HKCR
3. HKEY_USERS: HKU
4. HKEY_CURRENT_USER: HKCU

Vous pouvez utiliser CTRL + L ou ALT + D raccourci clavier pour définir le focus sur la barre d'adresse et se rendre rapidement à un emplacement. Vous n'avez pas besoin d'utiliser un logiciel tiers maintenant. Les utilisateurs de Windows 8/7 peuvent utiliser ces logiciels gratuits, un script VBScript ou un script de lot pour

Les utilisateurs de Windows 8/7 peuvent utiliser ces logiciels gratuits, un script VBScript ou un script batch pour accéder directement à une clé de registre..

Changer la police dans le registre Windows

L'Éditeur du Registre est désormais également doté d'une nouvelle fonctionnalité qui vous permet de modifier sa police, son style de police et la taille de l'Éditeur du Registre. Faire des changements, c'est simple.

Choisissez l'onglet "Affichage" de l'éditeur et sélectionnez l'option "Police". Apportez les modifications souhaitées.

Si vous avez besoin de plus d’informations, consultez cet article Conseils et fonctionnalités de l’éditeur de registre Windows..