Changes between Initial Version and Version 1 of Ticket #16836, comment 3


Ignore:
Timestamp:
Jan 9, 2023, 1:34:03 PM (23 months ago)
Author:
humdinger

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #16836, comment 3

    initial v1  
    33Yes, a pop-up menu labeled "Profile:" in the settings. Maybe something like:
    44
     5
     6{{{
    57----------------------------
    68|    Default profile       |
    … …  
    1416| Remove marked profile    |
    1517----------------------------
     18}}}
     19
    1620
    1721You start with the "Default profile" (gets a checkmark). When you make changes, the "Default profile" loses its checkmark. If you now close the settings panel, it saves those settings as "Default profile". To get to the original system defaults, use the "Defaults" button at the bottom of the panel.