Складывается такое впечатление, что периодически WK конфликтуют с puntoswitcher из-за буфера. При это побеждает PS. :( WK вообще перестаёт реагировать на любые горячие клавишы. Верси PS 3.0.