equal
deleted
inserted
replaced
851 window: |
851 window: |
852 (WindowSpec |
852 (WindowSpec |
853 label: 'GUI Painter' |
853 label: 'GUI Painter' |
854 name: 'GUI Painter' |
854 name: 'GUI Painter' |
855 min: (Point 560 460) |
855 min: (Point 560 460) |
856 bounds: (Rectangle 16 46 624 569) |
856 bounds: (Rectangle 12 22 620 545) |
857 menu: menu |
857 menu: menu |
858 ) |
858 ) |
859 component: |
859 component: |
860 (SpecCollection |
860 (SpecCollection |
861 collection: ( |
861 collection: ( |
903 level: 0 |
903 level: 0 |
904 enableChannel: enableChannel |
904 enableChannel: enableChannel |
905 tabable: true |
905 tabable: true |
906 model: tabModel |
906 model: tabModel |
907 menu: tabList |
907 menu: tabList |
|
908 translateLabel: true |
908 canvas: noteBookView |
909 canvas: noteBookView |
909 ) |
910 ) |
910 (HorizontalPanelViewSpec |
911 (HorizontalPanelViewSpec |
911 name: 'HorizontalPanel1' |
912 name: 'HorizontalPanel1' |
912 layout: (LayoutFrame 2 0 -26 1 -2 1 -2 1) |
913 layout: (LayoutFrame 2 0 -26 1 -2 1 -2 1) |