class: WindowSensor
authorClaus Gittinger <cg@exept.de>
Mon, 08 Jul 2013 16:38:22 +0200
changeset 6091 f72ce3d945a7
parent 6090 d4a3672f917c
child 6092 92572b3d40ea
class: WindowSensor changed: #waitForExposeFor: use device flush instead of self flush (it may have been redefined for ST80 compatibility)
WindowSensor.st
--- a/WindowSensor.st	Thu Jun 27 15:54:05 2013 +0200
+++ b/WindowSensor.st	Mon Jul 08 16:38:22 2013 +0200
@@ -3163,7 +3163,7 @@
 
     blocked := true.
     [
-        aView flush.
+        device flush.
 
         device platformName = 'WIN32' ifTrue:[
             "/ since this is definitely a local display,
@@ -3260,7 +3260,7 @@
 !WindowSensor class methodsFor:'documentation'!
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.275 2013-01-30 17:56:28 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.276 2013-07-08 14:38:22 cg Exp $'
 ! !