pause mouse broken since v. 4.2?

[dbionda <db...@bl...>]

Dear all
I noticed that since at least vers. 4.2rc2 the "pause mouse" command no longer 
works as expected: "ok" and "cancel" buttons are not displayed and there is 
actually no way to dimiss the dialog window. Is this a bug or a feature?

cheers
Davide