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

Introduce the plugin API for terminal #9595

Closed
4 tasks done
ashumilova opened this issue May 3, 2018 · 3 comments
Closed
4 tasks done

Introduce the plugin API for terminal #9595

ashumilova opened this issue May 3, 2018 · 3 comments
Assignees
@AndrienkoAleksandr
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed.

Comments

@ashumilova
Copy link
Contributor

ashumilova commented May 3, 2018 •
edited by AndrienkoAleksandr
Loading

The new plugin model should contain API for creating and accessing terminal in Theia. The task includes following items to be done:

  • define the API of the terminal operations
  • document the API
  • develop the defined API
  • test it on the sample plugin
@ashumilova 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 AndrienkoAleksandr self-assigned this May 3, 2018
@AndrienkoAleksandr 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
@ashumilova ashumilova mentioned this issue May 5, 2018
Closed
16 tasks
@dkuleshov dkuleshov mentioned this issue May 23, 2018
Closed
This was referenced May 29, 2018
Closed
Open
Merged
Merged
@AndrienkoAleksandr 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
@vparfonov vparfonov mentioned this issue Jun 21, 2018
Closed
25 tasks
@AndrienkoAleksandr
Copy link
Contributor

awaiting merge eclipse-theia/theia#2001 . And pull request theia-demo-plugins/wiptheia#24 should be moved to the Theia repo.

@AndrienkoAleksandr
Copy link
Contributor

Pull request theia-demo-plugins/wiptheia#24 was moved to the theia repo: eclipse-theia/theia#2187

@AndrienkoAleksandr
Copy link
Contributor

Upstream pull request merged eclipse-theia/theia#2187. Close issue.

@AndrienkoAleksandr 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
@vparfonov vparfonov mentioned this issue Jul 5, 2018
Closed
23 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AndrienkoAleksandr AndrienkoAleksandr

Labels
kind/task Internal things, technical debt, and to-do tasks to be performed.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ashumilova @AndrienkoAleksandr