--- a/DisplayRootView.st Fri Oct 14 18:42:59 2016 +0200
+++ b/DisplayRootView.st Fri Oct 14 19:05:55 2016 +0200
@@ -150,6 +150,10 @@
!DisplayRootView methodsFor:'dummy'!
+keyboardZoom:larger
+ "/ MUST be ignored here
+!
+
redrawX:x y:y width:width height:height
"ignored"
! !