diff -r 7b5f40822819 -r 524f221e431d UIPainter.st --- 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: