--- a/UIPainter.st Mon Jul 05 23:33:03 1999 +0200
+++ b/UIPainter.st Wed Jul 07 20:48:39 1999 +0200
@@ -694,15 +694,11 @@
#(#WindowSpec
#label: 'GUI Painter'
#name: 'GUI Painter'
- #layout: #(#LayoutFrame 647 0 498 0 1266 0 999 0)
- #level: 0
+ #layout: #(#LayoutFrame 220 0 200 0 779 0 659 0)
#min: #(#Point 560 460)
#max: #(#Point 1160 870)
- #bounds: #(#Rectangle 647 498 1267 1000)
+ #bounds: #(#Rectangle 220 200 780 660)
#menu: #menu
- #usePreferredExtent: false
- #returnIsOKInDialog: true
- #escapeIsCancelInDialog: true
)
#component:
#(#SpecCollection
@@ -812,7 +808,7 @@
#(#ActionButtonSpec
#label: 'helpIcon'
#name: 'openWidgetDocumentationButton'
- #layout: #(#LayoutFrame -32 1 -1 0 0 1 31 0)
+ #layout: #(#LayoutFrame -28 1 -1 0 0 1 28 0)
#activeHelpKey: #editOpenSpecDocumentation
#hasCharacterOrientedLabel: false
#model: #doOpenWidgetDocumentation