Skip to content

fix: fix buffer_changed event, fix diagnostics final severity#1237

Merged
cseickel merged 2 commits intomainfrom
handle-buffer-change-without-watcher
Nov 18, 2023

Commits

Commits on Nov 18, 2023