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

[plug-in] API endpoint for window.showTextDocument #2801

Closed
vparfonov opened this issue Sep 6, 2018 · 1 comment · Fixed by #3547
Closed

[plug-in] API endpoint for window.showTextDocument #2801

vparfonov opened this issue Sep 6, 2018 · 1 comment · Fixed by #3547
Assignees
@vparfonov @vinokurig
Labels
plug-in system issues related to the plug-in system Team: Che-Plugins issues related to the che-plugins team todo larger scoped issues

Comments

@vparfonov
Copy link
Contributor

Show the given document in a text editor.
https://code.visualstudio.com/docs/extensionAPI/vscode-api#_window
@vparfonov vparfonov added plug-in system issues related to the plug-in system todo larger scoped issues Team: Che-Plugins issues related to the che-plugins team labels Sep 6, 2018
@vparfonov vparfonov self-assigned this Sep 6, 2018
@ashumilova ashumilova mentioned this issue Sep 6, 2018
Closed
25 tasks
@l0rd l0rd mentioned this issue Sep 6, 2018
Closed
27 tasks
@vparfonov vparfonov mentioned this issue Sep 6, 2018
Closed
24 tasks
@vparfonov vparfonov mentioned this issue Nov 13, 2018
Closed
29 tasks
@vinokurig vinokurig self-assigned this Nov 14, 2018
This was referenced Nov 20, 2018
Merged
Closed
Closed
Closed
@vinokurig
Copy link
Contributor

Related issue: #3373

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vparfonov vparfonov

@vinokurig vinokurig

Labels
plug-in system issues related to the plug-in system Team: Che-Plugins issues related to the che-plugins team todo larger scoped issues
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Plugin-2801: API endpoint for window.showTextDocument eclipse-theia/theia
2 participants
@vparfonov @vinokurig