Skip to content
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

Add missing mapping between extension and plugin #27

Merged
merged 1 commit into from
Jun 29, 2022

Conversation

sgraband
Copy link
Contributor

Beforehand extensionUri, extensionKind and the enum ExtensionKind
were flagged as missing on the Theia side.
This is due to the fact, that the names are different.
For the extensionPath there was already a mapping in the comparator.
This change also adds them for the two fields and the enum.

Contributed on behalf of STMicroelectronics

Beforehand `extensionUri`, `extensionKind` and the enum `ExtensionKind`
were flagged as missing on the Theia side.
This is due to the fact, that the names are different.
For the `extensionPath` there was already a mapping in the comparator.
This change also adds them for the two fields and the enum.

Contributed on behalf of STMicroelectronics
@JonasHelming JonasHelming merged commit f6bd8d3 into eclipse-theia:master Jun 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants