equal
deleted
inserted
replaced
368 window: |
368 window: |
369 (WindowSpec |
369 (WindowSpec |
370 label: 'Buttons' |
370 label: 'Buttons' |
371 name: 'Buttons' |
371 name: 'Buttons' |
372 min: (Point 10 10) |
372 min: (Point 10 10) |
373 bounds: (Rectangle 14 46 454 204) |
373 bounds: (Rectangle 16 52 456 210) |
374 ) |
374 ) |
375 component: |
375 component: |
376 (SpecCollection |
376 (SpecCollection |
377 collection: ( |
377 collection: ( |
378 (ActionButtonSpec |
378 (ActionButtonSpec |
421 label: 'Radio Button' |
421 label: 'Radio Button' |
422 name: 'Radio Button' |
422 name: 'Radio Button' |
423 layout: (LayoutFrame 144 0.0 33 0 280 0 55 0) |
423 layout: (LayoutFrame 144 0.0 33 0 280 0 55 0) |
424 translateLabel: true |
424 translateLabel: true |
425 isTriggerOnDown: true |
425 isTriggerOnDown: true |
426 lampColor: (Color 100.0 100.0 0.0) |
|
427 ) |
426 ) |
428 (CheckBoxSpec |
427 (CheckBoxSpec |
429 label: 'Check Box' |
428 label: 'Check Box' |
430 name: 'Check Box' |
429 name: 'Check Box' |
431 layout: (LayoutFrame 144 0 65 0 280 0 87 0) |
430 layout: (LayoutFrame 144 0 65 0 280 0 87 0) |