--- a/Tools__CodeView2SettingsAppl.st	Sat Apr 23 06:56:00 2016 +0200
+++ b/Tools__CodeView2SettingsAppl.st	Mon Apr 25 06:59:02 2016 +0200
@@ -333,7 +333,7 @@
                       )
                     
                    )
-                   extent: (Point 589 70)
+                   extent: (Point 589 76)
                  )
                 )
branch	jv
changeset 16321	e6a4ab0da993
parent 16315	73c4f82ca456
parent 16319	34cfafe9cb26
child 16573	2f5cd8950dcf