Visitar URL original
Forget linters of disabled or removed plugins when packages change by dpc00 · Pull Request #1999 · SublimeLinter/SublimeLinter · GitHub
Skip to content

Forget linters of disabled or removed plugins when packages change - #1999

Closed
dpc00 wants to merge 3 commits into
SublimeLinter:masterfrom
dpc00:forget-unloaded-linters
Closed

Forget linters of disabled or removed plugins when packages change#1999
dpc00 wants to merge 3 commits into
SublimeLinter:masterfrom
dpc00:forget-unloaded-linters

Only forget linters of packages that just got disabled

ca36830
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
mypy (darwin)
succeeded Sep 29, 2026 in 17s