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

[plug-in] Register a workspace symbol provider #3353

Closed
tsmaeder opened this issue Oct 31, 2018 · 2 comments
Closed

[plug-in] Register a workspace symbol provider #3353

tsmaeder opened this issue Oct 31, 2018 · 2 comments
Labels
plug-in system issues related to the plug-in system

Comments

@tsmaeder
Copy link
Contributor

tsmaeder commented Oct 31, 2018 •
edited
Loading

Implement the API for registering a workspace symbol provider.
typescript doc
@tsmaeder
Copy link
Contributor Author

@JPinkney is working on this.

@benoitf benoitf changed the title Register a workspace symbol provider [plug-in] Register a workspace symbol provider Oct 31, 2018
@benoitf benoitf added the plug-in system issues related to the plug-in system label Oct 31, 2018
@JPinkney JPinkney mentioned this issue Nov 4, 2018
Closed
@JPinkney JPinkney mentioned this issue Nov 15, 2018
Merged
@evidolob evidolob mentioned this issue Dec 7, 2018
Closed
22 tasks
@evidolob
Copy link
Contributor

evidolob commented Jan 4, 2019

@tsmaeder It seems that this issue is done, can you close it?

@tsmaeder tsmaeder closed this as completed Jan 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
plug-in system issues related to the plug-in system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@benoitf @evidolob @tsmaeder