equal
deleted
inserted
replaced
691 |
691 |
692 #(#FullSpec |
692 #(#FullSpec |
693 #window: |
693 #window: |
694 #(#WindowSpec |
694 #(#WindowSpec |
695 #name: 'GUI Painter' |
695 #name: 'GUI Painter' |
696 #layout: #(#LayoutFrame 218 0 175 0 737 0 676 0) |
696 #layout: #(#LayoutFrame 42 0 188 0 561 0 689 0) |
697 #label: 'GUI Painter' |
697 #label: 'GUI Painter' |
698 #min: #(#Point 560 460) |
698 #min: #(#Point 560 460) |
699 #max: #(#Point 1160 870) |
699 #max: #(#Point 1160 870) |
700 #bounds: #(#Rectangle 218 175 738 677) |
700 #bounds: #(#Rectangle 42 188 562 690) |
701 #menu: #menu |
701 #menu: #menu |
702 #usePreferredExtent: false |
702 #usePreferredExtent: false |
703 ) |
703 ) |
704 #component: |
704 #component: |
705 #(#SpecCollection |
705 #(#SpecCollection |
706 #collection: |
706 #collection: |
707 #( |
707 #( |
708 #(#MenuPanelSpec |
708 #(#MenuPanelSpec |
709 #name: 'menuToolbarView' |
709 #name: 'menuToolbarView' |
710 #layout: #(#LayoutFrame -1 0.0 0 0 -1 1.0 32 0) |
710 #layout: #(#LayoutFrame 0 0.0 0 0 0 1.0 32 0) |
711 #tabable: true |
711 #tabable: true |
712 #menu: #menuToolbar |
712 #menu: #menuToolbar |
713 ) |
713 ) |
714 #(#VariableHorizontalPanelSpec |
714 #(#VariableHorizontalPanelSpec |
715 #name: 'hpanel' |
715 #name: 'hpanel' |