Skip to content

[vscode] API gap: Theia master vs. VS Code 1.81.0 #12885

@rschnekenbu

Description

@rschnekenbu

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

Public APIs

Proposed API evolutions:

Application management

Repo

  • Raise builtins version

Metadata

Metadata

Assignees

No one assigned

    Labels

    epicepic issues consisting of multiple smaller issuesvscodeissues related to VSCode compatibility

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions