Make theia.
API an additional namespace
#10756
Unanswered
tsmaeder
asked this question in
Improvements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Currently, you can have either the
theia
or thevscode
namespace and the are the same, save for a couple of renamings ('plugin'=>'extension'). I think it would make things simpler if we only had thevscode
namespace and thetheia
namespace would only contain functionality that is separate of what is already invscode
namespace.This would entail to either make all API namespaces contributed (see #8142) or at least make the one of them the default and the other a contributed one. The problem here is that currently, we're using the packaging format to determine which default API to pass onto a particular plugin.
This change would allow us to get rid of our own package format and to just rely on the vs code packaging format and tooling. We would also end up with a better separation of concerns in the plugin implementation package: we would end up with four packages:
Contains just the mechanism for having plugin API namespaces
Provides the contributed vscode API namespace
Dev-time package containing theia.d.ts
Dev-time package containing the contributed theia API namespace.
Beta Was this translation helpful? Give feedback.
All reactions