Remove "Plugins" view in Theia IDE

eclipse-theia / theia-blueprint

The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.

https://theia-ide.org/#theiaide

MIT License

332 stars 122 forks source link

Remove "Plugins" view in Theia IDE #328

Open JonasHelming opened 7 months ago

JonasHelming commented 7 months ago

Currently, the Theia IDE contains the extensions view and a plugins view (which looks a bit outdated). I think it makes sense to remove the plugins view (it is only read-only) @marcdumais-work @vince-fugnitto Any thoughts?

vince-fugnitto commented 7 months ago

@JonasHelming I'm fine with removing the plugin's view, it predated the extensions-view and offers no real functionality. I have the following issue opened https://github.com/eclipse-theia/theia/issues/7375.