You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 18, 2022. It is now read-only.
have a common profile setting which target a profile (by default named "Common")
When changing profile it would merge the common and selected settings and extensions to apply.
When saving it will compare the settings in the Common part :
if the setting is different it would save it to the selected profile.
if the setting is no more existant, it would remove it from common part and add it to other profiles.
if the setting is identical in all profiles, it would remove it from them and add it to the common part.
The text was updated successfully, but these errors were encountered:
# for freeto subscribe to this conversation on GitHub.
Already have an account?
#.
Simple suggestion
either way :
When changing profile it would merge the common and selected settings and extensions to apply.
When saving it will compare the settings in the Common part :
The text was updated successfully, but these errors were encountered: