# HG changeset patch # User ca # Date 904406329 -7200 # Node ID 59d86476798aa8a046067208399fa53d1cf1b444 # Parent d7500cfc7ba4e1d5a8606081417449f49684c321 menu panel layout diff -r d7500cfc7ba4 -r 59d86476798a 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 )