vsx: add ability to 'disable' plugins

[dsseng]

Description

At the moment, there is no way to disable an plugin listed in the extensions view unless a user uninstalls them. This issue tracks the feature of being able to disable a plugin through the view similarly to VS Code:

Reproduction Steps

1. open the extensions view
2. select a plugin
3. notice how there is uninstall but no disable

OS and Theia version:

OS: Ubuntu 19.10
Theia: cb3db2a

[vince-fugnitto]

@sh7dm an extension can either be removed through:

• removing it from the package.json (won't work for extensions that depend on the extension you want to remove and are part of the application)
  • ex: remove B, but A which is included in your app requires B
• removing the extension's functionality by removing it through dependency injection in your custom extension

[dsseng]

No, my extension isn't built-in. Probably that's a plugin (VS Code extension). It's stored in ~/.theia/extensions/ directory.

[vince-fugnitto]

No, my extension isn't built-in. Probably that's a plugin (VS Code extension). It's stored in ~/.theia/extensions/ directory.

You're referring to VS Code plugins which you've added to the application?
You may check by viewing the plugins-view or extensions widgets.

[dsseng]

@vince-fugnitto I mean ones installed from Open-VSX, they aren't from the Theia app itself, they were installed using Open-VSX:

[vince-fugnitto]

@vince-fugnitto I mean ones installed from Open-VSX, they aren't from the Theia app itself, they were installed using Open-VSX:

At the moment, the only option is to uninstall the extension, you may open an issue in order to track the feature of disabling them instead.

[dsseng]

I did so :). This is that issue. Could you please add related labels etc. ?

[vince-fugnitto]

I did so :). This is that issue. Could you please add related labels etc. ?

I've updated the issue so it's clearer for others when they reference it.