equal
deleted
inserted
replaced
1467 window: |
1467 window: |
1468 (WindowSpec |
1468 (WindowSpec |
1469 label: 'UILayoutTool-Extent' |
1469 label: 'UILayoutTool-Extent' |
1470 name: 'UILayoutTool-Extent' |
1470 name: 'UILayoutTool-Extent' |
1471 min: (Point 10 10) |
1471 min: (Point 10 10) |
1472 bounds: (Rectangle 14 46 340 195) |
1472 bounds: (Rectangle 0 0 326 149) |
1473 ) |
1473 ) |
1474 component: |
1474 component: |
1475 (SpecCollection |
1475 (SpecCollection |
1476 collection: ( |
1476 collection: ( |
1477 (FramedBoxSpec |
1477 (FramedBoxSpec |
1478 label: 'Extent' |
1478 label: 'Extent' |
1479 name: 'FramedBox' |
1479 name: 'FramedBox' |
1480 layout: (LayoutFrame 0 0.0 6 0.0 0 1.0 137 0) |
1480 layout: (LayoutFrame 0 0.0 6 0.0 0 1.0 145 0) |
1481 labelPosition: topLeft |
1481 labelPosition: topLeft |
1482 component: |
1482 component: |
1483 (SpecCollection |
1483 (SpecCollection |
1484 collection: ( |
1484 collection: ( |
1485 (LabelSpec |
1485 (LabelSpec |
1523 acceptOnPointerLeave: false |
1523 acceptOnPointerLeave: false |
1524 ) |
1524 ) |
1525 (CheckBoxSpec |
1525 (CheckBoxSpec |
1526 label: 'Use Widgets Default Extent' |
1526 label: 'Use Widgets Default Extent' |
1527 name: 'useDefaultExtentCheckBox' |
1527 name: 'useDefaultExtentCheckBox' |
1528 layout: (Point 5 74) |
1528 layout: (Point 5 67) |
1529 enableChannel: defaultExtentEnabled |
1529 enableChannel: defaultExtentEnabled |
1530 tabable: true |
1530 tabable: true |
1531 model: useDefaultExtent |
1531 model: useDefaultExtent |
1532 translateLabel: true |
1532 translateLabel: true |
1533 ) |
1533 ) |