equal
deleted
inserted
replaced
502 (FontMenuSpec |
502 (FontMenuSpec |
503 name: 'fontMenu' |
503 name: 'fontMenu' |
504 layout: (LayoutFrame 97 0 56 0 0 1.0 78 0) |
504 layout: (LayoutFrame 97 0 56 0 0 1.0 78 0) |
505 activeHelpKey: labelFont |
505 activeHelpKey: labelFont |
506 model: style |
506 model: style |
|
507 allowSymbolicFonts: true |
507 ) |
508 ) |
508 (LabelSpec |
509 (LabelSpec |
509 label: 'Type:' |
510 label: 'Type:' |
510 name: 'Type' |
511 name: 'Type' |
511 layout: (AlignmentOrigin 52 0 105 0 1 0.5) |
512 layout: (AlignmentOrigin 52 0 105 0 1 0.5) |