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

[vscode] API gap: Theia master vs. VS Code 1.72.2 #12024

Closed

5 tasks done

Tracked by

rschnekenbu opened this issue Dec 22, 2022 · 1 comment

Closed

5 tasks done

Tracked by

[vscode] API gap: Theia master vs. VS Code 1.72.2 #12024

rschnekenbu opened this issue Dec 22, 2022 · 1 comment

Labels

epic vscode

Contributor

rschnekenbu commented Dec 22, 2022 •

edited

Loading

This bug tracks the differences between current master Theia VS Code API and VS Code 1.72.2:

rschnekenbu mentioned this issue

[vscode] API gap: Theia master vs. VS Code 1.74.2 #12019

Closed

6 tasks

msujew added the vscode label

vince-fugnitto added the epic label

rschnekenbu mentioned this issue

vscode: bump default api to 1.72.2 #12359

Merged

2 tasks

Contributor Author

rschnekenbu commented Mar 30, 2023

All subtasks required for 1.72.2 have been done, and the supported api is now updated in the tool. We can close this task.

rschnekenbu closed this as completed

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