pause mouse key on Windows

[Petr M. <mi...@ph...>]

There is a bug reported: the following two commands

         pause mouse key
         pause mouse any

while pressing a key on the graph are not working on Windows.
Could someone fix it?

---
PM