--- a/Tools__CodeView2SettingsAppl.st Sun Apr 24 15:13:50 2016 +0200 +++ b/Tools__CodeView2SettingsAppl.st Sun Apr 24 15:14:33 2016 +0200 @@ -333,7 +333,7 @@ ) ) - extent: (Point 589 70) + extent: (Point 589 76) ) )