Add ability to manage the list of Theia plugins in UD #9300
Conversation
ashumilova
added
kind/enhancement
|
ci-test |
| @@ -0,0 +1,65 @@ | |||
| /* | |||
There was a problem hiding this comment.
I would assume the managing of plugins would be server side instead of client side (like searching all extensions).
So it doesn't use client connection to download plugins but use server side.
But it may be for step 2
| @@ -152,11 +152,15 @@ class IdeCtrl { | |||
| return; | |||
| } | |||
|
|
|||
| if (this.ideSvc.openedWorkspace && this.selectedWorkspace.id === this.ideSvc.openedWorkspace.id) { | |||
| // todo commented for testing purposes - with IDE running inside container - after workspace restart - location changes, | |||
There was a problem hiding this comment.
before merging, need to remove comments or put it back
|
ci-test build report: |
ashumilova
added
status/code-review
|
ci-test |
|
ci-test build report: |
Signed-off-by: Anna Shumilova <ashumilo@redhat.com>
benoitf
removed
the
status/code-review
* Manage the list of Theia plugins in UD Signed-off-by: Anna Shumilova <ashumilo@redhat.com>
Signed-off-by: Anna Shumilova ashumilo@redhat.com
What does this PR do?
Adds the ability to manage the list of Theia plugins in UD and add custom plugins.
What issues does this PR fix or reference?
#8695