-
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 the plugin API for terminal #9595
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 3, 2018
AndrienkoAleksandr
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
May 3, 2018
This was referenced May 29, 2018
AndrienkoAleksandr
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
May 30, 2018
awaiting merge eclipse-theia/theia#2001 . And pull request theia-demo-plugins/wiptheia#24 should be moved to the Theia repo. |
Pull request theia-demo-plugins/wiptheia#24 was moved to the theia repo: eclipse-theia/theia#2187 |
Upstream pull request merged eclipse-theia/theia#2187. Close issue. |
AndrienkoAleksandr
removed
the
status/code-review
This issue has a pull request posted for it and is awaiting code review completion by the community.
label
Jul 2, 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 creating and accessing terminal in Theia. The task includes following items to be done:
The text was updated successfully, but these errors were encountered: