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

vscode: implement proposed shareProvider API #12744

Open
Tracked by #12634
tsmaeder opened this issue Jul 21, 2023 · 1 comment
Open
Tracked by #12634

vscode: implement proposed shareProvider API #12744

tsmaeder opened this issue Jul 21, 2023 · 1 comment
Labels
help wanted issues meant to be picked up, require help vscode issues related to VSCode compatibility

Comments

@tsmaeder
Copy link
Contributor

tsmaeder commented Jul 21, 2023

Implement the proposed shareProvider VS Code API: https://github.com/microsoft/vscode/blob/main/src/vscode-dts/vscode.proposed.shareProvider.d.ts

@vince-fugnitto vince-fugnitto changed the title shareProvider vsode: implement proposed shareProvider API Jul 21, 2023
@vince-fugnitto vince-fugnitto added the vscode issues related to VSCode compatibility label Jul 21, 2023
@vince-fugnitto vince-fugnitto changed the title vsode: implement proposed shareProvider API vscode: implement proposed shareProvider API Jul 21, 2023
tsmaeder added a commit to tsmaeder/theia that referenced this issue Jul 24, 2023
This is a stub implementation for eclipse-theia#12744

Contributed by STMicroelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
tsmaeder added a commit to tsmaeder/theia that referenced this issue Jul 24, 2023
This is a stub implementation for eclipse-theia#12744

Contributed by STMicroelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
tsmaeder added a commit that referenced this issue Jul 26, 2023
This is a stub implementation for #12744

Contributed by STMicroelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
@tsmaeder
Copy link
Contributor Author

Since extensions don't rely on this API to work (it's basically "write-only" from the extensions point of view) and we're not aware of any important uses for the API, we're not working on a real implementation right now.

@tsmaeder tsmaeder added the help wanted issues meant to be picked up, require help label Jul 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted issues meant to be picked up, require help vscode issues related to VSCode compatibility
Projects
None yet
Development

No branches or pull requests

2 participants