equal
deleted
inserted
replaced
671 #window: |
671 #window: |
672 #(#WindowSpec |
672 #(#WindowSpec |
673 #label: 'Tab List Editor' |
673 #label: 'Tab List Editor' |
674 #name: 'Tab List Editor' |
674 #name: 'Tab List Editor' |
675 #min: #(#Point 440 280) |
675 #min: #(#Point 440 280) |
676 #max: #(#Point 1152 900) |
|
677 #bounds: #(#Rectangle 596 292 1132 661) |
676 #bounds: #(#Rectangle 596 292 1132 661) |
678 #menu: #menu |
677 #menu: #menu |
679 ) |
678 ) |
680 #component: |
679 #component: |
681 #(#SpecCollection |
680 #(#SpecCollection |