; angenehmere Shortcuts um in Windows 10 die Desktops zu verwalten
; Strg+Win+A (links)
^#a::^#Left
Return

;Strg+Win+S (rechts)
^#s::^#Right
Return

;Strg+Win+W (schliessen)
^#w::^#F4
Return