# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1396535641 -7200
# Node ID b8aa19ba15192347935d80ebb73355c647973cd1
# Parent  cf89c4bedea4edefcfb9ceecdb810b16f2d5b061
class: WindowSensor
changed: #waitForExposeFor:
eliminated the need to know what the platformname
of the windows device is

diff -r cf89c4bedea4 -r b8aa19ba1519 WindowSensor.st
--- a/WindowSensor.st	Tue Apr 01 15:26:51 2014 +0200
+++ b/WindowSensor.st	Thu Apr 03 16:34:01 2014 +0200
@@ -3158,7 +3158,7 @@
     [
         device flush.
 
-        device platformName = 'WIN32' ifTrue:[
+        device isWindowsPlatform ifTrue:[
             "/ since this is definitely a local display,
             "/ there is no need for a long timeOut
             "/ (it should arrive fast)
@@ -3253,7 +3253,7 @@
 !WindowSensor class methodsFor:'documentation'!
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.283 2014-02-28 13:27:21 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.284 2014-04-03 14:34:01 cg Exp $'
 ! !