こちらを利用させていただきます。
https://github.com/pmb6tz/windows-desktop-switcher
MacやLinuxデスクトップだと標準でできるのだけど、Windowsだとひと手間かかる。
というのは、仮想デスクトップの標準のショートカットでは、仮想デスクトップの左右に移るというのはあるのだけど、ジャンプするショートカットがないため。
で、こちらのリポジトリにVirtualDesktopAccessor.dllが入っていて、これがいろいろなリポジトリで使いまわされているAPIバイナリのようなものになっている。
ただ、これを使うだけだと、仮想デスクトップを切り替えたときに、以前にいた仮想デスクトップ上のウインドウがアクティブになったままなので、べつのウィンドウに対して操作をしてしまっていた。
これがとてつもなく煩わしかったのだけど、解決方法が分からなかった。
ただ、こちらのwindows-desktop-switcherは、この問題にもどうやら対応されているみたい。
なんでかはわからないのだけど、Autohotkeyのなにがしかの操作で対応しているみたい。
使い方はAutohotkeyをインストールして、desktop_switcher.ahkを起動します。
また、ショートカットをつくって、スタートアップフォルダにいれておきます。
変更したところ。
Ctrl+数字で仮想デスクトップ切替。
Ctrl+Shift+数字でアクティブウィンドウを別の仮想デスクトップに移動。
^1::switchDesktopByNumber(1) ^2::switchDesktopByNumber(2) ^3::switchDesktopByNumber(3) ^4::switchDesktopByNumber(4) ^5::switchDesktopByNumber(5) ^6::switchDesktopByNumber(6) ^7::switchDesktopByNumber(7) ^8::switchDesktopByNumber(8) ^9::switchDesktopByNumber(9) ^+1::MoveCurrentWindowToDesktop(1) ^+2::MoveCurrentWindowToDesktop(2) ^+3::MoveCurrentWindowToDesktop(3) ^+4::MoveCurrentWindowToDesktop(4) ^+5::MoveCurrentWindowToDesktop(5) ^+6::MoveCurrentWindowToDesktop(6) ^+7::MoveCurrentWindowToDesktop(7) ^+8::MoveCurrentWindowToDesktop(8) ^+9::MoveCurrentWindowToDesktop(9)
すごく作業がはかどります。ありがとうございます。