--- 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 $'
 ! !