Skip to content

fix(editor): rank a completion list that arrives late for where the cursor is now - #3135

Merged
datlechin merged 1 commit into
mainfrom
fix/completion-live-prefix
Sep 26, 2026
Merged

fix(editor): rank a completion list that arrives late for where the cursor is now#3135
datlechin merged 1 commit into
mainfrom
fix/completion-live-prefix

Commits

Commits on Sep 25, 2026