--- a/ApplicationModel.st	Thu Feb 27 16:03:19 2014 +0100
+++ b/ApplicationModel.st	Fri Feb 28 14:27:37 2014 +0100
@@ -1929,7 +1929,7 @@
     "/ Otherwise push it as an event, to be handled when my thread is
     "/ back in the event loop.
     "/
-    sensor synchronized:[
+    sensor criticalUserEventQueueAccess:[
         (sensor hasEvent:selector for:someone withArguments:argList) ifFalse:[
             sensor pushUserEvent:selector for:someone withArguments:argList
         ].
@@ -4030,11 +4030,11 @@
 !ApplicationModel class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libview2/ApplicationModel.st,v 1.350 2014-01-17 11:24:50 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview2/ApplicationModel.st,v 1.351 2014-02-28 13:27:37 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libview2/ApplicationModel.st,v 1.350 2014-01-17 11:24:50 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview2/ApplicationModel.st,v 1.351 2014-02-28 13:27:37 cg Exp $'
 ! !