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.

Sign up for GitHub

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

Jump to bottom

Search for ignored sync settings or extensions #94034

Open
sana-ajani opened this issue Mar 31, 2020 · 4 comments
Open

Search for ignored sync settings or extensions #94034

sana-ajani opened this issue Mar 31, 2020 · 4 comments
Assignees
@rzhao271
Labels
feature-request Request for new features or functionality settings-editor VS Code settings editor issues
Milestone
On Deck

Comments

@sana-ajani
Copy link
Contributor

sana-ajani commented Mar 31, 2020 •
edited

Testing #93801

Changing extensions and settings that have been ignored to being synced again was smooth, but could we making searching for which extensions and settings easier? Like being able to search for "@ sync: ignored" in extensions view or in settings search

image
@roblourens
Copy link
Member

There is already a setting, sync.ignoredSettings and you can see them all in one place there. But I like managing this through the context menu option too and I think this makes sense.

@roblourens
Copy link
Member

What about the inverse to see synced extensions, would that be useful?

@roblourens roblourens added settings-sync feature-request Request for new features or functionality labels Apr 1, 2020
@roblourens roblourens added this to the April 2020 milestone Apr 1, 2020
@sana-ajani
Copy link
Contributor Author

Yeah, I think being able to search for all the extensions or settings that have been synced through the UI would be nice

@roblourens roblourens modified the milestones: April 2020, May 2020 Apr 28, 2020
@roblourens roblourens modified the milestones: May 2020, June 2020 Jun 2, 2020
@roblourens roblourens modified the milestones: June 2020, July 2020 Jun 30, 2020
@roblourens roblourens modified the milestones: July 2020, August 2020 Aug 3, 2020
@roblourens roblourens modified the milestones: August 2020, September 2020 Sep 2, 2020
@roblourens roblourens modified the milestones: January 2021, On Deck Jan 28, 2021
@heartacker
Copy link
Contributor

any updating? we need this indeed

@roblourens roblourens assigned rzhao271 and unassigned roblourens Dec 21, 2022
@roblourens roblourens added settings-editor VS Code settings editor issues and removed settings-sync labels Dec 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rzhao271 rzhao271

Labels
feature-request Request for new features or functionality settings-editor VS Code settings editor issues
Projects
None yet
Milestone
On Deck
Development

No branches or pull requests
4 participants
@roblourens @heartacker @rzhao271 @sana-ajani