equal
deleted
inserted
replaced
459 window: |
459 window: |
460 (WindowSpec |
460 (WindowSpec |
461 label: 'UILayoutTool' |
461 label: 'UILayoutTool' |
462 name: 'UILayoutTool' |
462 name: 'UILayoutTool' |
463 min: (Point 10 10) |
463 min: (Point 10 10) |
464 bounds: (Rectangle 14 46 356 345) |
464 bounds: (Rectangle 12 22 354 321) |
465 ) |
465 ) |
466 component: |
466 component: |
467 (SpecCollection |
467 (SpecCollection |
468 collection: ( |
468 collection: ( |
469 (NoteBookViewSpec |
469 (NoteBookViewSpec |
473 enableChannel: enableChannel |
473 enableChannel: enableChannel |
474 tabable: true |
474 tabable: true |
475 model: noteBookModel |
475 model: noteBookModel |
476 menu: noteBookList |
476 menu: noteBookList |
477 direction: bottom |
477 direction: bottom |
|
478 translateLabel: true |
478 canvas: layoutCanvasHolder |
479 canvas: layoutCanvasHolder |
479 tabTopMargin: 0 |
480 tabTopMargin: 0 |
480 tabBottomMargin: 0 |
481 tabBottomMargin: 0 |
481 keepCanvasAlive: true |
482 keepCanvasAlive: true |
482 tabLevel: 0 |
483 tabLevel: 0 |