Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feature: saving in user profile instead of workspace #47

Open
Martinspire opened this issue Apr 10, 2024 · 0 comments
Open

feature: saving in user profile instead of workspace #47

Martinspire opened this issue Apr 10, 2024 · 0 comments
Labels
feature New feature or request triage Needs to be looked at

Comments

@Martinspire
Copy link

It would be nice if this extension would allow users to not use the workspace settings.json but instead the user profile settings.json to store the toggled status.

We currently share the workspace settings.json for other settings and since this modifies that, we need to manage that nobody overrides the default values. People want to see different files in their project so its not really helpful if you share settings.

If there was an option, say "storeLocation" with options "user" and "workspace" it would enable more people to use this extension effectively.

@Martinspire Martinspire added feature New feature or request triage Needs to be looked at labels Apr 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request triage Needs to be looked at
Projects
None yet
Development

No branches or pull requests

1 participant