equal
deleted
inserted
replaced
371 (FramedBoxSpec |
371 (FramedBoxSpec |
372 label: 'Header:' |
372 label: 'Header:' |
373 name: 'framedBox1' |
373 name: 'framedBox1' |
374 layout: (LayoutFrame 0 0.0 3 0 0 1.0 187 0) |
374 layout: (LayoutFrame 0 0.0 3 0 0 1.0 187 0) |
375 labelPosition: topLeft |
375 labelPosition: topLeft |
|
376 translateLabel: true |
376 component: |
377 component: |
377 (SpecCollection |
378 (SpecCollection |
378 collection: ( |
379 collection: ( |
379 (LabelSpec |
380 (LabelSpec |
380 label: 'ID:' |
381 label: 'ID:' |