equal
deleted
inserted
replaced
1074 #(#WindowSpec |
1074 #(#WindowSpec |
1075 #name: 'GUI Painter' |
1075 #name: 'GUI Painter' |
1076 #layout: #(#LayoutFrame 291 0 130 0 637 0 289 0) |
1076 #layout: #(#LayoutFrame 291 0 130 0 637 0 289 0) |
1077 #label: 'GUI Painter' |
1077 #label: 'GUI Painter' |
1078 #min: #(#Point 350 160) |
1078 #min: #(#Point 350 160) |
1079 #max: #(#Point 500 160) |
|
1080 #bounds: #(#Rectangle 291 130 638 290) |
1079 #bounds: #(#Rectangle 291 130 638 290) |
1081 #usePreferredExtent: false |
1080 #usePreferredExtent: false |
1082 ) |
1081 ) |
1083 #component: |
1082 #component: |
1084 #(#SpecCollection |
1083 #(#SpecCollection |