Skip to content

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
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

[vscode] Support TerminalExitStatus reason property vscode issues related to VSCode compatibility
#12023 by rschnekenbu was closed Mar 16, 2023
[vscode] Support optional property isTransient in TerminalOptions and ExtensionTerminalOptions terminal issues related to the terminal vscode issues related to VSCode compatibility
#11777 by rschnekenbu was closed Jan 11, 2023
1 task
[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] Stub vscode 'NoteBook' API vscode issues related to VSCode compatibility
#11786 by rschnekenbu was closed Dec 14, 2022
[vscode] Support DebugSessionOptions boolean options for suppression vscode issues related to VSCode compatibility
#12015 by rschnekenbu was closed Mar 17, 2023
[vscode] Support InputBox#valueSelection vscode issues related to VSCode compatibility
#12016 by rschnekenbu was closed Jan 13, 2023
[vscode] Support LogOutputChannel vscode issues related to VSCode compatibility
#12017 by rschnekenbu was closed Apr 21, 2023
[vscode] support WorkspaceEditMetadata vscode issues related to VSCode compatibility
#12018 by rschnekenbu was closed Feb 22, 2023
[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] Support ViewBadge vscode issues related to VSCode compatibility
#12020 by rschnekenbu was closed Mar 29, 2023
2
[vscode] Support CodeActionKind RefactorMove kind education Tickets that are well suited for lab courses and other student contributions vscode issues related to VSCode compatibility
#12021 by rschnekenbu was closed Jan 10, 2023
[vscode] Support optional property Comment#timestamp vscode issues related to VSCode compatibility
#11702 by rschnekenbu was closed Jan 5, 2023
[vscode] Support SnippetTextEdit vscode issues related to VSCode compatibility
#12022 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] Support DocumentDropEditProvider and DocumentDropEdit vscode issues related to VSCode compatibility
#12025 by rschnekenbu was closed Feb 14, 2023
[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.70.2 vscode issues related to VSCode compatibility
#12028 by rschnekenbu was closed Feb 15, 2023
4 tasks done
[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: Missing partial icon and color API support for ExtensionTerminalOptions and TerminalOptions terminal issues related to the terminal vscode issues related to VSCode compatibility
#12074 by rschnekenbu was closed Jun 27, 2024
2
2
[vscode] Support CommentThread state property vscode issues related to VSCode compatibility
#12231 by rschnekenbu was closed Apr 26, 2023
2
[vscode] Support telemetry API vscode issues related to VSCode compatibility
#12232 by rschnekenbu was closed May 9, 2023
[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
ProTip! Updated in the last three days: updated:>2024-07-03.