menu panel layout
authorca
Sat, 29 Aug 1998 17:58:49 +0200
changeset 973 59d86476798a
parent 972 d7500cfc7ba4
child 974 43d5982823b9
menu panel layout
UIPainter.st
--- a/UIPainter.st	Thu Aug 27 13:10:31 1998 +0200
+++ b/UIPainter.st	Sat Aug 29 17:58:49 1998 +0200
@@ -693,11 +693,11 @@
           #window: 
            #(#WindowSpec
               #name: 'GUI Painter'
-              #layout: #(#LayoutFrame 218 0 175 0 737 0 676 0)
+              #layout: #(#LayoutFrame 42 0 188 0 561 0 689 0)
               #label: 'GUI Painter'
               #min: #(#Point 560 460)
               #max: #(#Point 1160 870)
-              #bounds: #(#Rectangle 218 175 738 677)
+              #bounds: #(#Rectangle 42 188 562 690)
               #menu: #menu
               #usePreferredExtent: false
           )
@@ -707,7 +707,7 @@
                #(
                  #(#MenuPanelSpec
                     #name: 'menuToolbarView'
-                    #layout: #(#LayoutFrame -1 0.0 0 0 -1 1.0 32 0)
+                    #layout: #(#LayoutFrame 0 0.0 0 0 0 1.0 32 0)
                     #tabable: true
                     #menu: #menuToolbar
                 )