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

Differentiate between the older kind of user snippet and the new global user snippet #42531

Closed
ramya-rao-a opened this issue Jan 30, 2018 · 0 comments
Closed

Differentiate between the older kind of user snippet and the new global user snippet #42531

ramya-rao-a opened this issue Jan 30, 2018 · 0 comments
Assignees
@jrieken
Labels
bug Issue identified by VS Code Team member as probable bug snippets verified Verification succeeded
Milestone
January 2018

Comments

@ramya-rao-a
Copy link
Contributor

Testing #42330

This is the global snippet

image

This is the user snippet (old style)

image

On the right side both have the (User Snippet) which indicate they are user snippets. This is useful to differentiate them from the snippets coming from extensions.

It would be great if we can go one step further and show (Global User Snippet) for the new global snippets
@jrieken jrieken added this to the January 2018 milestone Jan 31, 2018
@jrieken jrieken added the bug Issue identified by VS Code Team member as probable bug label Jan 31, 2018
@ramya-rao-a ramya-rao-a added the verified Verification succeeded label Feb 1, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Mar 17, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jrieken jrieken

Labels
bug Issue identified by VS Code Team member as probable bug snippets verified Verification succeeded
Projects
None yet
Milestone
January 2018
Development

No branches or pull requests
2 participants
@jrieken @ramya-rao-a