Skip to content

Better sorting for filename completions in source#1491

Merged
rolandwalker merged 1 commit intomainfrom
RW/better-source-completion-sorting
Jan 28, 2026
Merged

Better sorting for filename completions in source#1491
rolandwalker merged 1 commit intomainfrom
RW/better-source-completion-sorting

Commits

Commits on Jan 28, 2026