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

[Plugin-Api] Apply window.createInput() function #5108

Closed
wants to merge 1 commit into from
Closed

Conversation

vinokurig
Copy link
Contributor

@vinokurig vinokurig commented May 10, 2019

Apply window.createInput() plugin API function. The function wraps QuickOpenExtImpl to setup and show an input notification. Other functionality is not implemented because it require a lot of changes in the Theia quick-input model.

Tested in pair with #5012 on https://github.com/Microsoft/vscode-extension-samples/tree/master/quickinput-sample

fixes #5107

Signed-off-by: Igor Vinokur <ivinokur@redhat.com>
@vinokurig
Copy link
Contributor Author

@akosyakov Can we go with this?

@benoitf
Copy link
Contributor

benoitf commented May 17, 2019

@vinokurig would be nice to test it against vscode api tests as well

@vinokurig
Copy link
Contributor Author

@benoitf Do you have any instructions how to run VsCode tests on Theia?

@benoitf
Copy link
Contributor

benoitf commented May 17, 2019

@vinokurig #4224

Copy link
Member

@akosyakov akosyakov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would prefer to close it in favor of #5187. And don't accept PRs stubbing APIs anymore, but PRs which actually implement something even if not complete. Otherwise it makes hard to track the real implementation progress and does not really bring value to the user.

@vinokurig vinokurig closed this Jul 3, 2019
@vinokurig vinokurig deleted the theia-5107 branch August 5, 2019 11:16
@vinokurig vinokurig restored the theia-5107 branch August 5, 2019 11:16
@vinokurig vinokurig deleted the theia-5107 branch August 5, 2019 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Plugin-API] Apply window.createInput() function
4 participants