feat(sessions): Batch 1 — full-prompt search, match snippets, junk fold, highlight fix#132
Merged
Commits
Commits on Jul 12, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Commits on Jul 13, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted