En tant qu'utilisateur Linux, je suis un utilisateur de l'espace de travail lourd. Windows 10 a cela, mais j'aimerais toujours passer entre eux comme je le fais dans Linux, où j'utilise ctrl + alt + droite ou gauche pour passer d'un espace de travail.
Cependant, pour Windows 10, c'est plutôt ctrl + windows + droit ou gauche .
Comment modifier ces raccourcis Windows 10 à ceux de Linux?
J'ai essayé le script de harrymc mais ça n'a pas marché. Donc, je l'ai modifié et le suivant m'a travaillé:
!^Right::send, #^{Right down}{Right up} !^Left::send, #^{Left down}{Left up}
Tout le reste était bien.
Ensuite, j'ai amélioré le script en ajoutant les lignes suivantes
!^Down:: send, #^{Right down}{Right up} Sleep, 200 send, #^{Right down}{Right up} return !^Up:: send, #^{Left down}{Left up} Sleep, 200 send, #^{Left down}{Left up} return
Cela permet d'imiter une grille 2×2 avec les flèches UP et Down pour naviguer entre les lignes.
Edit: La commande sleep
été ajoutée pour permettre à l'animation de terminer avant d'envoyer la seconde send
autre part, j'ai vu certaines occurrences où cette seconde instruction a été ignorée.
On ne peut pas modifier les raccourcis de Windows, mais on peut intercepter les clés et les modifier à la volée.
AutoHotkey est un excellent programme pour le remappage des touches du clavier. Voici les étapes pour configurer ceci:
!^Right::^#Right
!^Left::^#Left
Pour trouver le dossier de démarrage dans Windows 10, ouvrez "Exécuter" (appuyez sur Win + R ou recherchez-le dans le menu Démarrer) et tapez soit (sans guillemets): "shell: démarrage" pour l'utilisateur actuel, ou "shell: Démarrage commun "pour tous les utilisateurs. Copiez startup.ahk dans le dossier qui s'ouvre.