Having settings (which should only save when the user changes something) separate from sessions (which change every time the active tab changes) would pretty much allow for frozen settings files.

• That would not address the case in which the user wants the session frozen.
• That also does not address respecting user file permission settings or notification preferences (popup vs status window).

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.