Ability to disable extensions

[JosephTLyons]

Check for existing issues

• Completed

Describe the feature

Extensions should be allowed to be disabled via some setting, at both the global and local level, so workspaces can disable plugins they don't need running.

If applicable, add mockups / screenshots to help present your vision of the feature

No response

[kucho]

+1! I would also love the ability to disable some language servers per workspace.

[notpeter]

While I appreciate the desire to be able to enable/disable extensions so that workspaces only have the extensions they need, I'm unclear of what the design of such an implementation would look like.

• An extension allow-list in project level settings would prevent using optional extensions (themes, slash command extensions, etc)
• An extensions deny-list at the project level would be inherently verbose and non-exhaustive

I'm opened to exploring ideas for how such a system might be designed.