Closed as not planned
Closed as not planned
Description
Hi 👋🏼
Extracting linters and formatters into their own extensions was a good move in my opinion, but we lost some important features because before it was possible to:
- to toggle them by directory in multiple root workspace, not possible anymore if the only way is to disable the extension
- to mix them in a multiroot workspace (eg. have
flake8
asproject-a
linter andpylint
asproject-b
linter), not possible anymore, they are either active on the entire workspace or totally disabled (so you need to chose only one, deactivate the other or else you only have false positive) - to toggle them without VSCode restart (deactivating a linter extension requires a restart)
- to toggle them from configuration file (which are versionnable and shareable), not possible anymore, extensions are exclusively managed by VSCode internals
So, given they use a common base template, is it possible to restore those behaviors by:
- adding
<extension namespace>.enabled
boolean setting - ensure it is working by directory and not by workspace (this is very important for multiroots workspaces)
- bonus: make this setting apply without a restart