equal
deleted
inserted
replaced
219 ! |
219 ! |
220 |
220 |
221 reinitialize |
221 reinitialize |
222 "reinit after snapin" |
222 "reinit after snapin" |
223 |
223 |
224 |dev| |
|
225 |
|
226 self recreate. |
224 self recreate. |
227 self createRootWindow. |
225 self createRootWindow. |
228 dev := self graphicsDevice. |
226 width := device width. |
229 width := dev width. |
227 height := device height. |
230 height := dev height. |
|
231 realized := true. |
228 realized := true. |
232 ! ! |
229 ! ! |
233 |
230 |
234 !DisplayRootView methodsFor:'queries'! |
231 !DisplayRootView methodsFor:'queries'! |
235 |
232 |
273 isWindowManagerRunning |
270 isWindowManagerRunning |
274 "answer true, if a window manager is currently running. |
271 "answer true, if a window manager is currently running. |
275 This is done by performing an action (enabling button events of |
272 This is done by performing an action (enabling button events of |
276 root window), which will fail if a window manager is running." |
273 root window), which will fail if a window manager is running." |
277 |
274 |
278 |device| |
|
279 |
|
280 device := self graphicsDevice. |
|
281 device isWindowsPlatform ifTrue:[^ true]. |
275 device isWindowsPlatform ifTrue:[^ true]. |
282 device class deviceErrorSignal handle:[:ex | |
276 device class deviceErrorSignal handle:[:ex | |
283 ^ false. |
277 ^ false. |
284 ] do:[ |
278 ] do:[ |
285 self enableButtonEvents. |
279 self enableButtonEvents. |