--- a/WindowSensor.st Fri Dec 18 08:04:37 2015 +0100
+++ b/WindowSensor.st Mon Dec 21 14:37:07 2015 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
"
COPYRIGHT (c) 1993 by Claus Gittinger
All Rights Reserved
@@ -2502,11 +2500,10 @@
!WindowSensor methodsFor:'event simulation'!
enqueueMessage:selector for:someone arguments:argList
- "/
- "/ if such a message is already in the queue, ignore it.
- "/ Otherwise push it as an event, to be handled when my thread is
- "/ back in the event loop.
- "/
+ "if such a message is already in the queue, ignore it.
+ Otherwise push it as an event, to be handled when my thread is
+ back in the event loop."
+
self criticalUserEventQueueAccess:[
(self hasUserEvent:selector for:someone withArguments:argList) ifFalse:[
self pushUserEvent:selector for:someone withArguments:argList