eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
20.05k stars 2.5k forks source link

question: can the 'plugins view' be removed? #7375

Open vince-fugnitto opened 4 years ago

vince-fugnitto commented 4 years ago

Description

Since we now have the extension view as part of the vsx integration (#6655), is there a need to keep the plugins view? At the moment, it is possible to have both views in a given application.

If we are to remove the plugins view, I think it should be done before v1.0.0.

cc @eclipse-theia/core

akosyakov commented 4 years ago

I don't think it has to be done before v1.0.0.

jcortell68 commented 9 months ago

Chiming in that this view confused us the other day. Someone noticed the existence of the Plugins view and we had some back and forth trying to guess at why it might exist and wondering if it was any different than the extensions view. If it was mostly the same, did it maybe have something special about it? Anyway, removing it will probably save others from the same down the road.

tsmaeder commented 9 months ago

The technical difference I see is that the plugins view is not linked to a plugins marketplace (OpenVSX) in any way: it just shows what it installed in the system without offering to install any more plugins. Wanting to remove the ability to view and install plugins is a legit requirement, IMO for Theia applications that are not general purpose IDEs. Whether we want to see what plugins are installed in this case is open to discussion.

tsmaeder commented 9 months ago

Cleanly separating plugin installation/deployment/usage is another hobby horse of mine.