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.

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 Output channel API #9836

Closed
4 tasks done
ashumilova opened this issue May 29, 2018 · 1 comment
Closed
4 tasks done

Introduce Output channel API #9836

ashumilova opened this issue May 29, 2018 · 1 comment
Assignees
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed.

Comments

@ashumilova
Copy link
Contributor

ashumilova commented May 29, 2018

The new plugin model should contain API for accessing the output channel. The task includes following items to be done:

  • define the API of the output channel interactions
  • document the API
  • develop the defined API
  • test it on the sample plugin

Output channel - the place, where some logs, information, statuses could be provided by plugins and displayed.

@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 29, 2018
@olexii4 olexii4 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 31, 2018
@svenefftinge
Copy link
Contributor

This issue should be tracked in Theia, no?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed.
Projects
None yet
Development

No branches or pull requests

3 participants