Skip to content

Improve "Jump To" (cmd-k) dialog#3129

Merged
david-crespo merged 5 commits intomainfrom
better_cmd_k
Mar 17, 2026
Merged

Improve "Jump To" (cmd-k) dialog#3129
david-crespo merged 5 commits intomainfrom
better_cmd_k

Commits

Commits on Mar 16, 2026