Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make built-in extensions deactivatable ( disable ) #13876

Open
otherpaco opened this issue Jul 1, 2024 · 1 comment
Open

Make built-in extensions deactivatable ( disable ) #13876

otherpaco opened this issue Jul 1, 2024 · 1 comment
Labels
plug-in system issues related to the plug-in system proposal feature proposals (potential future features)

Comments

@otherpaco
Copy link

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 jfaltermeier transferred this issue from eclipse-theia/theia-blueprint Jul 3, 2024
@jfaltermeier
Copy link
Contributor

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

@msujew msujew added plug-in system issues related to the plug-in system proposal feature proposals (potential future features) labels Jul 3, 2024
@roaldarbol roaldarbol mentioned this issue Jul 8, 2024
Open
@rschnekenbu rschnekenbu mentioned this issue Jul 9, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
plug-in system issues related to the plug-in system proposal feature proposals (potential future features)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@msujew @jfaltermeier @otherpaco