Don't restart servers when userprefs change#2448

Merged

rchl merged 17 commits intosublimelsp:mainfrom jwortmann:no-restart

Oct 2, 2024

+123-53

Commits on Apr 15, 2024

Don't restart servers when userprefs changes
jwortmann
committed

Commits on Apr 19, 2024

Merge branch 'main' into no-restart
jwortmann
committed

Commits on Apr 21, 2024

Merge branch 'main' into no-restart
jwortmann
committed

Commits on Apr 25, 2024

Commits on May 3, 2024

Merge branch 'main' into no-restart
jwortmann
committed

Commits on Sep 22, 2024

Merge branch 'main' into no-restart
rchl
authored

Commits on Sep 30, 2024

Commits on Oct 1, 2024

Commits on Oct 2, 2024

Set semantic tokens refresh flag on userprefs change
jwortmann
committed