changeset 7554 | f3bcd1141929 |
parent 7547 | de2dcd42f0bb |
child 7555 | 286b489ca9c7 |
child 7568 | 29c8bc0cfa05 |
--- a/SimpleView.st Wed Sep 07 17:25:31 2016 +0200 +++ b/SimpleView.st Fri Sep 09 16:22:38 2016 +0200 @@ -7495,13 +7495,13 @@ forceUngrabKeyboard "force a keyboard ungrab - even if was not the grabber" - device ungrabKeyboard. + device notNil ifTrue:[ gc device ungrabKeyboard ]. ! forceUngrabPointer "force a pointer ungrab - even if was not the grabber" - device ungrabPointer + device notNil ifTrue:[ device ungrabPointer ] ! grabKeyboard