Mario Zechner 8f95a13e07 feat(coding-agent): add session naming via /name command and extension API ...

- Add SessionInfoEntry type for session metadata
- Add /name <name> command to set session display name
- Add pi.setSessionName() and pi.getSessionName() extension API
- Session selector shows name (in warning color) instead of first message when set
- Session name included in fuzzy search
- /session command displays name when set

closes #650

2026-01-12 16:56:39 +01:00

13 KiB

Raw Blame History

View Raw