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 220 0 200 0 779 0 659 0) |
697 #layout: #(#LayoutFrame 220 0 200 0 827 0 722 0) |
698 #min: #(#Point 560 460) |
698 #min: #(#Point 560 460) |
699 #max: #(#Point 1160 870) |
699 #max: #(#Point 1160 870) |
700 #bounds: #(#Rectangle 220 200 780 660) |
700 #bounds: #(#Rectangle 220 200 828 723) |
701 #menu: #menu |
701 #menu: #menu |
702 ) |
702 ) |
703 #component: |
703 #component: |
704 #(#SpecCollection |
704 #(#SpecCollection |
705 #collection: #( |
705 #collection: #( |