Visitar URL original

Forget linters of disabled or removed plugins when packages change by dpc00 · Pull Request #1999 · SublimeLinter/SublimeLinter · GitHub

Repository navigation

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

Commits on Sep 29, 2026
- Forget linters whose plugin has been unloaded
  
  dpc00
  and
  claude
  committed
  6362097
- Forget linters of disabled or removed plugins when packages change
  
  dpc00
  and
  claude
  committed
  11553d6
- Only forget linters of packages that just got disabled
  
  dpc00
  and
  claude
  committed
  ca36830