equal
deleted
inserted
replaced
692 #name: #windowSpec |
692 #name: #windowSpec |
693 #window: |
693 #window: |
694 #(#WindowSpec |
694 #(#WindowSpec |
695 #label: 'GUI Painter' |
695 #label: 'GUI Painter' |
696 #name: 'GUI Painter' |
696 #name: 'GUI Painter' |
697 #layout: #(#LayoutFrame 647 0 498 0 1266 0 999 0) |
697 #layout: #(#LayoutFrame 220 0 200 0 779 0 659 0) |
698 #level: 0 |
|
699 #min: #(#Point 560 460) |
698 #min: #(#Point 560 460) |
700 #max: #(#Point 1160 870) |
699 #max: #(#Point 1160 870) |
701 #bounds: #(#Rectangle 647 498 1267 1000) |
700 #bounds: #(#Rectangle 220 200 780 660) |
702 #menu: #menu |
701 #menu: #menu |
703 #usePreferredExtent: false |
|
704 #returnIsOKInDialog: true |
|
705 #escapeIsCancelInDialog: true |
|
706 ) |
702 ) |
707 #component: |
703 #component: |
708 #(#SpecCollection |
704 #(#SpecCollection |
709 #collection: #( |
705 #collection: #( |
710 #(#MenuPanelSpec |
706 #(#MenuPanelSpec |
810 ) |
806 ) |
811 ) |
807 ) |
812 #(#ActionButtonSpec |
808 #(#ActionButtonSpec |
813 #label: 'helpIcon' |
809 #label: 'helpIcon' |
814 #name: 'openWidgetDocumentationButton' |
810 #name: 'openWidgetDocumentationButton' |
815 #layout: #(#LayoutFrame -32 1 -1 0 0 1 31 0) |
811 #layout: #(#LayoutFrame -28 1 -1 0 0 1 28 0) |
816 #activeHelpKey: #editOpenSpecDocumentation |
812 #activeHelpKey: #editOpenSpecDocumentation |
817 #hasCharacterOrientedLabel: false |
813 #hasCharacterOrientedLabel: false |
818 #model: #doOpenWidgetDocumentation |
814 #model: #doOpenWidgetDocumentation |
819 ) |
815 ) |
820 #(#ActionButtonSpec |
816 #(#ActionButtonSpec |