in

Microsoft relance les PowerToys, des outils pour les utilisateurs expérimentés


Le plus âgé d'entre vous s'en souvient peut-être. Avec Windows 95, Microsoft a introduit une douzaine de petites fonctionnalités pour optimiser certaines utilisations du système d'exploitation.
Appelés "PowerToys", ils vous permettent d'ajouter des bureaux virtuels, de placer une petite loupe dans la barre des tâches, de redimensionner les images à partir de l'explorateur de fichiers, etc. Ces outils – destinés aux utilisateurs intensifs ("utilisateurs expérimentés") – ont perduré jusqu'à Windows XP et le concept a été abandonné. Les utilisateurs de Windows Vista et les systèmes suivants ne pourraient plus en bénéficier.

Disponible à l'été 2019

Plus de dix ans plus tard, l’éditeur décide de faire revivre les PowerToys, sous la forme d’un projet Open source géré sur GitHub. Le développement de deux premiers outils a déjà commencé. Le premier est un widget appelé "Maximize to new desktop". Lorsque vous passez le curseur de la souris sur le bouton d’agrandissement d’une fenêtre, cette fonction affiche un bouton supplémentaire vous permettant d’envoyer l’application sur un nouveau bureau et de l’agrandir en même temps.

Le deuxième outil s'appelle "Guide des raccourcis clavier Windows" et affiche la liste des raccourcis clavier disponibles. Pour ce faire, appuyez simplement sur la touche Windows pendant plus d'une seconde.

Huit autres fonctionnalités sont également prises en compte, notamment un indicateur de batterie, un raccourci vers la console et ses lignes de commande, ou une routine pour renommer automatiquement tout un paquet de fichiers. Les premières versions de ces PowerToys devraient être disponibles à l'été 2019.

La source : GitHub



Source link

What do you think?

0 points
Upvote Downvote

Written by manuboss

GoogleBot utilise la dernière version de Chromium

Google a banni les annonces pour les sites anti-censure en Chine »SEO et visibilité ⇒ SEO Premium" Référencement et visibilité sur Internet. Offre une qualité mensuelle pour augmenter vos positions sur Google, gagner en visibilité et générer un trafic plus ciblé.