Pin sessions + larger code font

Fork: 0

root / navi-1

Browse code Pin sessions + larger code font Server: - Session.pinned field (bool, default False) - SqliteSessionStore: ALTER TABLE migration for existing DBs, set_pinned(), ORDER BY pinned DESC, last_active DESC - PATCH /sessions/{id}/pin endpoint Client: - Pin/unpin button appears on hover (📌/📍) - Pinned sessions get blue left border and always-visible pin icon - Local sort mirrors server sort (pinned first) - Code blocks font-size bumped from 0.82em to 0.9em feature/navi-code master vmkdemo
1 parent d04a486 commit f3ce16d6a2be8b28a02269ef6080b11868942c4c Eugene Sukhodolskiy authored on 8 Apr

Browse code

Server:
- Session.pinned field (bool, default False)
- SqliteSessionStore: ALTER TABLE migration for existing DBs, set_pinned(),
  ORDER BY pinned DESC, last_active DESC
- PATCH /sessions/{id}/pin endpoint

Client:
- Pin/unpin button appears on hover (📌/📍)
- Pinned sessions get blue left border and always-visible pin icon
- Local sort mirrors server sort (pinned first)
- Code blocks font-size bumped from 0.82em to 0.9em

feature/navi-code master vmkdemo

1 parent d04a486 commit f3ce16d6a2be8b28a02269ef6080b11868942c4c

Eugene Sukhodolskiy authored on 8 Apr

Patch

Unified Split

Showing 7 changed files

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

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

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

Ignore Space Show notes View client/style.css

Ignore Space Show notes View navi/api/routes/sessions.py

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

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

Show line notes below