-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Introduce Plugin API for workspace folders #9839
Labels
kind/task
Internal things, technical debt, and to-do tasks to be performed.
Comments
ashumilova
added
status/open-for-dev
An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.
kind/task
Internal things, technical debt, and to-do tasks to be performed.
sprint/next
team/ide2
labels
May 29, 2018
ashumilova
changed the title
Introduce Plugin API for workspace folders, relative path
Introduce Plugin API for workspace folders
Jun 1, 2018
vitaliy-guliy
added
status/in-progress
This issue has been taken by an engineer and is under active development.
and removed
status/open-for-dev
An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.
labels
Jun 4, 2018
Pull request to upstream |
vitaliy-guliy
added
status/code-review
This issue has a pull request posted for it and is awaiting code review completion by the community.
and removed
status/in-progress
This issue has been taken by an engineer and is under active development.
labels
Jun 20, 2018
ashumilova
removed
sprint/current
status/code-review
This issue has a pull request posted for it and is awaiting code review completion by the community.
labels
Oct 4, 2018
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The new plugin model should contain API for accessing the list of opened workspace folders and updating them. The task includes following items to be done:
The text was updated successfully, but these errors were encountered: