Médiaforma

Windows 10 – Nouveautés dans l’Editeur du Registre

Partagez cet article sur vos réseaux

Geeks et autres passionnés de l’éditeur du Registre, réjouissez-vous : plusieurs nouveautés vous attendent …

Commencez par lancer l’éditeur du Registre. Pour cela, cliquez sur Démarrer ou appuyez sur la touche Windows du clavier, tapez regedit et cliquez sur regedit.exe dans la partie supérieure du menu Démarrer.

Barre d’adresses

Jusqu’ici, pour accéder à une donnée du Registre, vous deviez développer tour à tour un certain nombre de clés. Selon la profondeur de la valeur à atteindre, cette opération pouvait vite s’avérer fastidieuse ! Dans l’éditeur du Registre de Windows 10 Creators Update, une barre d’adresses va grandement simplifier les choses. Affichée sous le système de menus, vous pouvez y copier/coller un chemin quelconque pour atteindre rapidement la clé correspondante :

Police et taille des caractères

Désormais, vous pouvez choisir la police et la taille des caractères de l’éditeur du Registre. Lancez la commande Police dans le menu Affichage, faites votre choix dans la boîte de dialogue Police et validez en cliquant sur OK :

 
Commentaires

Aucun commentaire pour l'instant.

Laissez un commentaire