search

eclipse-theia / theia

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

Make built-in extensions deactivatable ( disable ) #13876

Open otherpaco opened 2 weeks ago

otherpaco commented 2 weeks ago

Feature Description:

Built-in extensions should be able to be disabled.

VS-Code and VS-Codium do have this option.

Why?

There are extensions such as PHP Intelephense (>250,000 Open VSX and >12,000,000 VS Code Marketplace) that require the built-in extensions to be disabled in order to work properly.

Thank you very much

jfaltermeier commented 2 weeks ago

Thank you for the report. I believe this is for Theia itself, so I'm transferring the issue.