Les PowerToys de Windows 10 obtiennent un lanceur et un remappeur de clavier - Moyens I/O

Les PowerToys de Windows 10 obtiennent un lanceur et un remappeur de clavier

Nous aimons PowerToys de Microsoft, une collection gratuite et open source d’utilitaires utiles pour Windows 10. Avec la sortie de PowerToys 0.18 aujourd’hui, Microsoft ajoute un lanceur d’applications «PowerToys Run» et un gestionnaire de raccourcis clavier.

PowerToys Run est un lanceur d’applications classique basé sur un clavier, il peut également passer aux applications en cours d’exécution. Cela ressemble beaucoup à Spotlight sur un Mac, et cela ressemble à un remplacement plus moderne du raccourci clavier Win + R.

Contrairement à la fonction de recherche standard du menu Démarrer de Windows 10, il s’agit de lancer des applications et des fichiers, et non de rechercher sur le Web avec Bing. Et, contrairement à la boîte de dialogue Exécuter standard, elle possède des fonctionnalités de recherche intégrées vous permettant de rechercher une application par son nom.

PowerToys Run proposera également des plug-ins personnalisables afin que vous puissiez ajouter des fonctionnalités telles qu’une calculatrice ou un dictionnaire. Microsoft explique les détails dans ce Document de conception du lanceur.

Une maquette de PowerToys Run pour le lancement d'applications.

PowerToys bénéficiera également d’un remappeur de touches de clavier nommé «Gestionnaire de raccourcis clavier» pour remapper des touches individuelles et des raccourcis multi-touches. Il sera plus puissant que SharpKeys et plus convivial que AutoHotkey pour cette tâche.

Comme SharpKeys, qui remappe les clés via le registre Windows, le gestionnaire de raccourcis clavier vous permettra de remapper une seule touche sur une autre clé unique. Par exemple, vous pouvez faire en sorte que le verrouillage des majuscules fonctionne comme Shift ou autre chose.

Comme avec AutoHotkey, vous pourrez également modifier les raccourcis clavier Windows intégrés. Voulez-vous que Windows verrouille l’écran au lieu d’ouvrir la barre de jeu lorsque vous appuyez sur Windows + G? Vous pouvez également le faire à partir de cette interface.

Une première version des paramètres de Keyboard Manager dans PowerToys.

Ces nouvelles fonctionnalités ont été annoncées à Build 2020, mais Microsoft continuera d’ajouter des outils plus utiles aux PowerToys cet été. Une version «complète» de PowerToys 1.0 est attendue pour septembre 2020. Nous sommes ravis de voir tout ce que Microsoft ajoutera à l’avenir.

Bientôt: Tous les PowerToys de Microsoft pour Windows 10, expliqués

body #primary .entry-content ul # nextuplist {list-style-type: none; margin-left: 0px; padding-left: 0px;} body #primary .entry-content ul # nextuplist li a {text-decoration: none ; couleur: # 1d55a9;}

En relation :  Outil de création de support Windows 10 : comment l'utiliser ?
Moyens Staff
Moyens I/O Staff vous a motivé, donner des conseils sur la technologie, le développement personnel, le style de vie et des stratégies qui vous aider.