equal
deleted
inserted
replaced
662 |
662 |
663 #(#FullSpec |
663 #(#FullSpec |
664 #window: |
664 #window: |
665 #(#WindowSpec |
665 #(#WindowSpec |
666 #name: 'GUI Painter' |
666 #name: 'GUI Painter' |
667 #layout: #(#LayoutFrame 321 0 265 0 840 0 742 0) |
667 #layout: #(#LayoutFrame 218 0 175 0 737 0 676 0) |
668 #label: 'GUI Painter' |
668 #label: 'GUI Painter' |
669 #min: #(#Point 560 460) |
669 #min: #(#Point 560 460) |
670 #max: #(#Point 1160 870) |
670 #max: #(#Point 1160 870) |
671 #bounds: #(#Rectangle 321 265 841 743) |
671 #bounds: #(#Rectangle 218 175 738 677) |
672 #menu: #menu |
672 #menu: #menu |
673 #usePreferredExtent: false |
673 #usePreferredExtent: false |
674 ) |
674 ) |
675 #component: |
675 #component: |
676 #(#SpecCollection |
676 #(#SpecCollection |
816 #minorKey: #windowSpecForInfoBar |
816 #minorKey: #windowSpecForInfoBar |
817 ) |
817 ) |
818 ) |
818 ) |
819 ) |
819 ) |
820 ) |
820 ) |
|
821 |
|
822 "Modified: / 19.4.1998 / 20:43:10 / cg" |
821 ! ! |
823 ! ! |
822 |
824 |
823 !UIPainter class methodsFor:'menu specs'! |
825 !UIPainter class methodsFor:'menu specs'! |
824 |
826 |
825 menu |
827 menu |