2459 model: allowEmptyStatements |
2457 model: allowEmptyStatements |
2460 translateLabel: true |
2458 translateLabel: true |
2461 extent: (Point 665 22) |
2459 extent: (Point 665 22) |
2462 ) |
2460 ) |
2463 (CheckBoxSpec |
2461 (CheckBoxSpec |
2464 label: 'Allow Paragraph in Identifiers (§)' |
2462 label: 'Allow Paragraph in Identifiers (§)' |
2465 name: 'CheckBox10' |
2463 name: 'CheckBox10' |
2466 activeHelpKey: allowParagraphInIdentifier |
2464 activeHelpKey: allowParagraphInIdentifier |
2467 uuid: '9c9316ac-1f3f-11b2-903e-3065ec8abe8a' |
2465 uuid: '9c9316ac-1f3f-11b2-903e-3065ec8abe8a' |
2468 model: allowParagraphInIdentifier |
2466 model: allowParagraphInIdentifier |
2469 translateLabel: true |
2467 translateLabel: true |
3705 windowSpec |
3703 windowSpec |
3706 "This resource specification was automatically generated |
3704 "This resource specification was automatically generated |
3707 by the UIPainter of ST/X." |
3705 by the UIPainter of ST/X." |
3708 |
3706 |
3709 "Do not manually edit this!! If it is corrupted, |
3707 "Do not manually edit this!! If it is corrupted, |
3710 the UIPainter may not be able to read the specification." |
3708 the UIPainter may not be able to read the specification." |
3711 |
3709 |
3712 " |
3710 " |
3713 UIPainter new openOnClass:AbstractSettingsApplication::CodeGeneratorSettingsAppl andSelector:#windowSpec |
3711 UIPainter new openOnClass:AbstractSettingsApplication::CodeGeneratorSettingsAppl andSelector:#windowSpec |
3714 AbstractSettingsApplication::CodeGeneratorSettingsAppl new openInterface:#windowSpec |
3712 AbstractSettingsApplication::CodeGeneratorSettingsAppl new openInterface:#windowSpec |
3715 AbstractSettingsApplication::CodeGeneratorSettingsAppl open |
3713 AbstractSettingsApplication::CodeGeneratorSettingsAppl open |
3751 (CheckBoxSpec |
3749 (CheckBoxSpec |
3752 label: 'Generate Comments in Getters' |
3750 label: 'Generate Comments in Getters' |
3753 name: 'GenerateCommentsInGetters' |
3751 name: 'GenerateCommentsInGetters' |
3754 activeHelpKey: generateCommentsInGetters |
3752 activeHelpKey: generateCommentsInGetters |
3755 enableChannel: generateComments |
3753 enableChannel: generateComments |
3756 model: generateCommentsInGetters |
3754 model: generateCommentsForGetters |
3757 translateLabel: true |
3755 translateLabel: true |
3758 extent: (Point 607 30) |
3756 extent: (Point 607 30) |
3759 ) |
3757 ) |
3760 (CheckBoxSpec |
3758 (CheckBoxSpec |
3761 label: 'Generate Comments in Setters' |
3759 label: 'Generate Comments in Setters' |
3762 name: 'GenerateCommentsInSetters' |
3760 name: 'GenerateCommentsInSetters' |
3763 activeHelpKey: generateCommentsInSetters |
3761 activeHelpKey: generateCommentsInSetters |
3764 enableChannel: generateComments |
3762 enableChannel: generateComments |
3765 model: generateCommentsInSetters |
3763 model: generateCommentsForSetters |
3766 translateLabel: true |
3764 translateLabel: true |
3767 extent: (Point 607 30) |
3765 extent: (Point 607 30) |
3768 ) |
3766 ) |
3769 ) |
3767 ) |
3770 |
3768 |