-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Issues: eclipse-theia/theia
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[vscode] Support NotebookDocumentWillSaveEvent
notebook
issues related to notebooks
vscode
issues related to VSCode compatibility
#12529
by rschnekenbu
was closed Jun 13, 2023
[vscode] bump API compatibility version to 1.82.0
vscode
issues related to VSCode compatibility
#12942
by rschnekenbu
was closed Oct 25, 2023
[vscode] EnvironmentVariableMutator can now be configured
vscode
issues related to VSCode compatibility
#12941
by rschnekenbu
was closed Oct 19, 2023
[vscode] Support EnvironmentVariableScope in vscode API 1.82
vscode
issues related to VSCode compatibility
#12940
by rschnekenbu
was closed Oct 24, 2023
[vscode] API gap: Theia master vs. VS Code 1.81.0
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12885
by rschnekenbu
was closed Oct 21, 2023
4 of 5 tasks
[vscode] bump API compatibility version to 1.81.0
vscode
issues related to VSCode compatibility
#12882
by rschnekenbu
was closed Sep 28, 2023
[vscode][proposed] resolvers proposed API updates for 1.80
vscode
issues related to VSCode compatibility
#12768
by rschnekenbu
was closed Aug 25, 2023
[vscode][proposed] shareProvider proposed API updates for 1.80
vscode
issues related to VSCode compatibility
#12767
by rschnekenbu
was closed Aug 11, 2023
[vscode] API gap: Theia master vs. VS Code 1.79.0
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12613
by rschnekenbu
was closed Jul 27, 2023
7 tasks done
[vscode] API gap: Theia master vs. VS Code 1.66.2
vscode
issues related to VSCode compatibility
#11779
by rschnekenbu
was closed Jan 20, 2023
6 tasks done
[vscode] API gap: Theia master vs. VS Code 1.78.0
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12530
by rschnekenbu
was closed Jun 30, 2023
4 tasks done
[vscode] API gap: Theia master vs. VS Code 1.77.0
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12375
by rschnekenbu
was closed May 29, 2023
2 tasks done
[vscode] Support continuous tests runs
vscode
issues related to VSCode compatibility
#12374
by rschnekenbu
was closed Apr 27, 2023
Remove invasive Split Terminal action in the toolbars
#12357
by rschnekenbu
was closed Mar 29, 2023
3
[vscode] API gap: Theia master vs. VS Code 1.76.0
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12233
by rschnekenbu
was closed May 10, 2023
3 tasks done
vscode: Missing partial icon and color API support for ExtensionTerminalOptions and TerminalOptions
terminal
issues related to the terminal
vscode
issues related to VSCode compatibility
[vscode] API gap: Theia master vs. VS Code 1.68.1
vscode
issues related to VSCode compatibility
#12029
by rschnekenbu
was closed Jan 20, 2023
3 tasks done
[vscode] API gap: Theia master vs. VS Code 1.70.2
vscode
issues related to VSCode compatibility
#12028
by rschnekenbu
was closed Feb 15, 2023
4 tasks done
[vscode] Support property enabled in SourceControlInputBox
education
Tickets that are well suited for lab courses and other student contributions
#12027
by rschnekenbu
was closed Jan 16, 2023
[vscode] API gap: Theia master vs. VS Code 1.72.2
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12024
by rschnekenbu
was closed Mar 30, 2023
5 tasks done
[vscode] API gap: Theia master vs. VS Code 1.74.2
epic
epic issues consisting of multiple smaller issues
vscode
issues related to VSCode compatibility
#12019
by rschnekenbu
was closed May 10, 2023
6 tasks done
[vscode] proposed API evolutions between 1.77.0 and 1.78.0
builtins
Issues related to VS Code builtin extensions
vscode
issues related to VSCode compatibility
#12558
by rschnekenbu
was closed Jun 4, 2024
ProTip!
Updated in the last three days: updated:>2024-10-05.