--- 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
)