equal
deleted
inserted
replaced
3156 |
3156 |
3157 blocked := true. |
3157 blocked := true. |
3158 [ |
3158 [ |
3159 device flush. |
3159 device flush. |
3160 |
3160 |
3161 device platformName = 'WIN32' ifTrue:[ |
3161 device isWindowsPlatform ifTrue:[ |
3162 "/ since this is definitely a local display, |
3162 "/ since this is definitely a local display, |
3163 "/ there is no need for a long timeOut |
3163 "/ there is no need for a long timeOut |
3164 "/ (it should arrive fast) |
3164 "/ (it should arrive fast) |
3165 pollDelay := 0.05. |
3165 pollDelay := 0.05. |
3166 pollDelay2 := 0.05. |
3166 pollDelay2 := 0.05. |
3251 ! ! |
3251 ! ! |
3252 |
3252 |
3253 !WindowSensor class methodsFor:'documentation'! |
3253 !WindowSensor class methodsFor:'documentation'! |
3254 |
3254 |
3255 version_CVS |
3255 version_CVS |
3256 ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.283 2014-02-28 13:27:21 cg Exp $' |
3256 ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.284 2014-04-03 14:34:01 cg Exp $' |
3257 ! ! |
3257 ! ! |
3258 |
3258 |
3259 |
3259 |
3260 WindowSensor initialize! |
3260 WindowSensor initialize! |