En tant qu'utilisateur Linux, j'utilise beaucoup d'espace de travail. Windows 10 a cela, mais je voudrais quand même basculer entre eux comme je le fais sous Linux, où j’utilise ctrl+alt+right ou left pour basculer entre les espaces de travail.
Cependant, pour Windows 10, c'est plutôt ctrl+windows+right ou left.
Comment modifier ces raccourcis Windows 10 à ceux de Linux?
J'ai essayé le script d'Harrymc mais cela n'a pas fonctionné. Alors je l'ai modifié et le suivant a fonctionné pour moi:
!^Right::send, #^{Right down}{Right up}
!^Left::send, #^{Left down}{Left up}
tout le reste était bien.
Puis 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’émuler une grille 2x2 avec les flèches haut et bas pour naviguer entre les lignes.
Edit: La commande sleep
a été ajoutée pour permettre à l’animation de se terminer avant d’envoyer la seconde send
, sinon j’ai vu des occurrences dans lesquelles cette seconde instruction était ignorée.
On ne peut pas changer les raccourcis Windows, mais on peut intercepter des clés et les changer à la volée.
AutoHotkey est un excellent programme pour remapper les touches du clavier. Voici les étapes pour le configurer:
!^Right::^#Right
!^Left::^#Left
Pour rechercher le dossier de démarrage dans Windows 10, ouvrez "Exécuter" (appuyez sur Win + Rou recherchez-le dans le menu Démarrer) et tapez (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.