Open dsseng opened 4 years ago
@sh7dm an extension can either be removed through:
package.json
(won't work for extensions that depend on the extension you want to remove and are part of the application)
No, my extension isn't built-in. Probably that's a plugin (VS Code extension). It's stored in ~/.theia/extensions/
directory.
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.
@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 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.
I did so :). This is that issue. Could you please add related labels etc. ?
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.
Duplicate of https://github.com/eclipse-theia/theia/issues/6528
VSX registry is just UI, we should implement proper enablement management in the plugin extension first.
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
extensions
viewOS and Theia version:
OS: Ubuntu 19.10 Theia: cb3db2a