WindowSensor.st
changeset 7826 ca8d4766615d
parent 7733 2b19dc622ad8
child 7855 46203abe7d57
child 7866 42dd768db07c
--- a/WindowSensor.st	Tue Jan 31 17:06:55 2017 +0100
+++ b/WindowSensor.st	Tue Jan 31 17:07:21 2017 +0100
@@ -888,23 +888,23 @@
 
     p := Processor activeProcess.
     wasBlocked := p blockInterrupts.
+
     [
-        Error handle:[:ex |
-            ('WindowSensor [Warning]: Error in eventQ handling ignored: ' , ex description) errorPrintCR.
-            "/ thisContext fullPrintAll.
-            "/ whichLock printCR.
-            ex return
-        ] do:[
-            whichLock critical:aBlock
-        ]
+        whichLock critical:aBlock
+    ] on:Error do:[:ex|
+        ('WindowSensor [Warning]: Error in eventQ handling ignored: ' , ex description) errorPrintCR.
+        "/ thisContext fullPrintAll.
+        "/ whichLock printCR.
+        ex return.
     ] ensure:[
         wasBlocked ifFalse:[
             p unblockInterrupts.
         ]
     ]
 
-    "Created: / 6.6.1998 / 21:04:02 / cg"
-    "Modified: / 14.10.1998 / 17:17:05 / cg"
+    "Created: / 06-06-1998 / 21:04:02 / cg"
+    "Modified: / 14-10-1998 / 17:17:05 / cg"
+    "Modified: / 31-01-2017 / 16:53:08 / stefan"
 !
 
 criticalUserEventQueueAccess:aBlock