#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Sun, 24 Apr 2016 15:14:33 +0200
changeset 16319 34cfafe9cb26
parent 16318 c63c5afa0cc9
child 16320 cd9e227fdeec
#UI_ENHANCEMENT by cg class: Tools::CodeView2SettingsAppl changed: #windowSpec geometry
Tools__CodeView2SettingsAppl.st
--- 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)
                  )
                 )