Clarify settings management
Gryphon supports preferences relating to the Gryphon UI and settings relating to how drawings are rendered. Some settings may be set as themes and some settings may be preset before the trace generator runs. Settings and themes may be saved or reset separately. It is not always clear which properties will be restored or cleared when modifying settings and themes. This issue proposes specific changes to help remove ambiguity about what is happening when using settings options.
Attachments:
- Settings change proposal:Settings_Change_Proposal.pdf
- Internal settings management:Settings_and_Preferences_Management.pdf
how settings are managed, and whsettings are saved and where they are saved.