equal
deleted
inserted
replaced
141 |
141 |
142 !DisplayRootView methodsFor:'destroying'! |
142 !DisplayRootView methodsFor:'destroying'! |
143 |
143 |
144 destroy |
144 destroy |
145 "catch destroy - some windowmanagers get confused if |
145 "catch destroy - some windowmanagers get confused if |
146 we destroy the rootWindow if its a virtual root window" |
146 we destroy the rootWindow if it's a virtual root window" |
147 |
147 |
148 ^ self |
148 ^ self |
|
149 |
|
150 "Modified (comment): / 13-02-2017 / 20:01:04 / cg" |
149 ! ! |
151 ! ! |
150 |
152 |
151 !DisplayRootView methodsFor:'dummy'! |
153 !DisplayRootView methodsFor:'dummy'! |
152 |
154 |
153 keyboardZoom:larger |
155 keyboardZoom:larger |