Skip to content

Add extension manager interface #207

Closed as not planned
Closed as not planned
@jerabaul29

Description

@jerabaul29

I think that, being based on Theia, this IDE should be compatible more or less out of the box with the open vsx ecosystem, right?

https://www.gitpod.io/blog/open-vsx/

Can we get a dedicated menu / pane to the Debug / Boards Manager / Library Manager ones, but dedicated to user installed plugins and extensions, to be able to install such extensions and plugins manually?

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions