changeset 8251 | ccfbdacb3241 |
parent 8249 | 71f1fac253b3 |
child 8934 | 7b97e9e2728c |
--- a/DisplayRootView.st Tue Jan 16 18:17:43 2018 +0100 +++ b/DisplayRootView.st Tue Jan 16 18:19:41 2018 +0100 @@ -151,6 +151,8 @@ !DisplayRootView methodsFor:'dummy'! keyboardZoom:largerBoolean + "CTRL+/- zoom action" + "/ MUST be ignored here ! @@ -295,5 +297,9 @@ version ^ '$Header$' +! + +version_CVS + ^ '$Header$' ! !