| changeset 7627 | 86ebf06e43a1 |
| parent 7266 | 6b9ccc0ad0c8 |
| child 7654 | d38246725fb7 |
| 7626:b6c8623c5226 | 7627:86ebf06e43a1 |
|---|---|
148 ^ self |
148 ^ self |
149 ! ! |
149 ! ! |
150 |
150 |
151 !DisplayRootView methodsFor:'dummy'! |
151 !DisplayRootView methodsFor:'dummy'! |
152 |
152 |
153 keyboardZoom:larger |
|
154 "/ MUST be ignored here |
|
155 ! |
|
156 |
|
153 redrawX:x y:y width:width height:height |
157 redrawX:x y:y width:width height:height |
154 "ignored" |
158 "ignored" |
155 ! ! |
159 ! ! |
156 |
160 |
157 !DisplayRootView methodsFor:'hotkeys'! |
161 !DisplayRootView methodsFor:'hotkeys'! |