Skip to content

Bring git, diagnostics, multi-caret editing and a language server into the editor - #247

Merged
JE-Chen merged 36 commits into
mainfrom
dev
Jul 26, 2026
Merged

Bring git, diagnostics, multi-caret editing and a language server into the editor#247
JE-Chen merged 36 commits into
mainfrom
dev

Stop the debounce timers when an editor closes

bb62733
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar