VirtueDesktops を使用しているのだが、ディスクトップを切換えようとしたら突然機能しなくなってしまった。コンビネーションキーはデフォルトのままなので shift + ctrl + ↓ をすれば下に配置してあるディスクトップに変わるはずなのに変わらないのだ。他の…