changeset 1174 | 524f221e431d |
parent 1172 | e22253cb348f |
child 1177 | 57a2a0edeb79 |
--- a/UIPainter.st Wed Jul 07 22:58:19 1999 +0200 +++ b/UIPainter.st Thu Jul 08 11:29:00 1999 +0200 @@ -694,10 +694,10 @@ #(#WindowSpec #label: 'GUI Painter' #name: 'GUI Painter' - #layout: #(#LayoutFrame 220 0 200 0 779 0 659 0) + #layout: #(#LayoutFrame 220 0 200 0 827 0 722 0) #min: #(#Point 560 460) #max: #(#Point 1160 870) - #bounds: #(#Rectangle 220 200 780 660) + #bounds: #(#Rectangle 220 200 828 723) #menu: #menu ) #component: