Skip to content

Integrate selected UX, search, and theming improvements from PR #127#128

Closed
jamesrochabrun wants to merge 12 commits intomainfrom
chore/port-realtime-status-indicators
Closed

Integrate selected UX, search, and theming improvements from PR #127#128
jamesrochabrun wants to merge 12 commits intomainfrom
chore/port-realtime-status-indicators

Commits

Commits on Feb 15, 2026