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

Add Close the document to Editor API #9906

Closed
3 tasks done
ashumilova opened this issue Jun 1, 2018 · 0 comments
Closed
3 tasks done

Add Close the document to Editor API #9906

ashumilova opened this issue Jun 1, 2018 · 0 comments
Assignees
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.

Comments

@ashumilova
Copy link
Contributor

ashumilova commented Jun 1, 2018

The new Editor API should contain methods for closing the document. The task includes following items to be done:

  • 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/current team/ide2 labels Jun 1, 2018
This was referenced Jun 1, 2018
@evidolob evidolob self-assigned this Jun 18, 2018
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. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.
Projects
None yet
Development

No branches or pull requests

2 participants