UIPainter.st
changeset 1167 cc867734c712
parent 1131 4721b93b9cdc
child 1172 e22253cb348f
--- a/UIPainter.st	Mon Jul 05 23:33:03 1999 +0200
+++ b/UIPainter.st	Wed Jul 07 20:48:39 1999 +0200
@@ -694,15 +694,11 @@
        #(#WindowSpec
           #label: 'GUI Painter'
           #name: 'GUI Painter'
-          #layout: #(#LayoutFrame 647 0 498 0 1266 0 999 0)
-          #level: 0
+          #layout: #(#LayoutFrame 220 0 200 0 779 0 659 0)
           #min: #(#Point 560 460)
           #max: #(#Point 1160 870)
-          #bounds: #(#Rectangle 647 498 1267 1000)
+          #bounds: #(#Rectangle 220 200 780 660)
           #menu: #menu
-          #usePreferredExtent: false
-          #returnIsOKInDialog: true
-          #escapeIsCancelInDialog: true
         )
         #component: 
        #(#SpecCollection
@@ -812,7 +808,7 @@
                        #(#ActionButtonSpec
                           #label: 'helpIcon'
                           #name: 'openWidgetDocumentationButton'
-                          #layout: #(#LayoutFrame -32 1 -1 0 0 1 31 0)
+                          #layout: #(#LayoutFrame -28 1 -1 0 0 1 28 0)
                           #activeHelpKey: #editOpenSpecDocumentation
                           #hasCharacterOrientedLabel: false
                           #model: #doOpenWidgetDocumentation