PowerToys van Windows 10 Ontvang een Launcher en Keyboard Remapper

Het officiële Microsoft PowerToys-logo.
Microsoft

We zijn dol op Microsoft’s PowerToys, een gratis en open-source verzameling nuttige hulpprogramma’s voor Windows 10. Met de release van PowerToys 0.18 vandaag voegt Microsoft een “PowerToys Run” -applicatiestarter en een sneltoetsmanager toe.

PowerToys Run is een klassieke, op het toetsenbord gebaseerde applicatiestarter – hij kan ook overschakelen naar actieve applicaties. Het lijkt veel op Spotlight op een Mac en het ziet eruit als een modernere vervanging voor de Win + R-sneltoets.

In tegenstelling tot de standaard zoekfunctie in het Start-menu van Windows 10, draait het allemaal om het starten van apps en bestanden – niet zoeken op internet met Bing. En, in tegenstelling tot het standaard dialoogvenster Uitvoeren, heeft het ingebouwde zoekfuncties zodat u op naam naar een toepassing kunt zoeken.

PowerToys Run bevat ook aanpasbare plug-ins, zodat u functies zoals een rekenmachine of woordenboek kunt toevoegen. Microsoft legt de details uit in dit Launcher-ontwerpdocument.

Een mock-up van PowerToys Run voor het starten van apps.
Dit is een mock-up van de PowerToys Run-interface. De uiteindelijke versie zal er anders uitzien. Jessica Yuwono / Microsoft

PowerToys krijgt ook een toetsenbordtoetsherindeling genaamd “Keyboard Shortcut Manager” voor het opnieuw toewijzen van individuele toetsen en sneltoetsen met meerdere toetsen. Het is krachtiger dan SharpKeys en gebruiksvriendelijker dan AutoHotkey voor deze taak.

Net als SharpKeys, dat toetsen opnieuw toewijst via het Windows-register, kunt u met Keyboard Shortcut Manager een enkele toets opnieuw toewijzen aan een andere enkele toets. U kunt Caps Lock bijvoorbeeld laten functioneren als Shift of iets anders.

Net als bij AutoHotkey kunt u ook ingebouwde Windows-sneltoetsen bewerken. Wilt u dat Windows het scherm vergrendelt in plaats van de spelbalk te openen wanneer u op Windows + G drukt? U kunt dat ook vanuit deze interface doen.

Een vroege versie van Keyboard Manager-instellingen in PowerToys.
Dit is een vroege versie van de tool Keyboard Manager in PowerToys. De interface kan in de loop van de tijd veranderen. Microsoft

Deze nieuwe functies zijn aangekondigd tijdens Build 2020, maar Microsoft zal deze zomer steeds meer handige tools aan PowerToys toevoegen. Een “volledige” release van PowerToys 1.0 wordt verwacht in september 2020. We zijn verheugd om te zien wat Microsoft in de toekomst toevoegt.

VERWANT: Alle PowerToys van Microsoft voor Windows 10, uitgelegd

Nieuwste artikelen

spot_img

Related Stories

Leave A Reply

Vul alstublieft uw commentaar in!
Vul hier uw naam in