WindowSensor.st
changeset 7087 faf0d73f0dcc
parent 6882 0fe84854cd44
child 7091 ec9a7cdd2967
child 7096 fc68855276c5
--- 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