Profile switch: emit WS event so client updates UI immediately

Fork: 0

root / navi-1

Browse code Profile switch: emit WS event so client updates UI immediately ProfileSwitched event emitted by switch_profile tool via current_event_sink. Client handles profile_switched: updates chat header, profile selector, and local sessions[] — no page refresh needed. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> feature/navi-code master vmkdemo
1 parent 2b9cdc1 commit 2012de28a838f739e20a26c06852a832087cfe4c Eugene Sukhodolskiy authored on 10 Apr

Browse code

ProfileSwitched event emitted by switch_profile tool via current_event_sink.
Client handles profile_switched: updates chat header, profile selector,
and local sessions[] — no page refresh needed.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

feature/navi-code master vmkdemo

1 parent 2b9cdc1 commit 2012de28a838f739e20a26c06852a832087cfe4c

Eugene Sukhodolskiy authored on 10 Apr

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View client/js/app.js

Ignore Space Show notes View navi/api/websocket.py

Ignore Space Show notes View navi/core/events.py

Ignore Space Show notes View navi/tools/switch_profile.py

Show line notes below