Skip to content

Comments

chore(web): integration branch for split PRs 186/187/188#192

Closed
gaius-codius wants to merge 19 commits intotiann:mainfrom
gaius-codius:merge/pr185-combined-local
Closed

chore(web): integration branch for split PRs 186/187/188#192
gaius-codius wants to merge 19 commits intotiann:mainfrom
gaius-codius:merge/pr185-combined-local

Conversation

@gaius-codius
Copy link
Contributor

Summary

Integration branch that combines the split PR work into a single testable stack:

Why

Local verification branch to ensure combined behavior works together (theme + sidebar/session UI + clipboard/terminal flows) before any further upstream decisions.

Included merge commits

  • 2d7b5f8 merge PR186 branch
  • 78cffb0 merge PR187 branch
  • a3f2e27 merge PR188 branch

Validation run

  • bun run typecheck:web
  • bun run test:web

Result:

  • typecheck passed
  • web tests passed (23 passed)

Restore the original dark theme as default and offer Catpuccin Mocha
as an opt-in theme. Add a manual theme toggle in Settings > Display
with System, Light, Dark, and Catpuccin options. Theme persists via
localStorage and syncs across tabs.
Add Gaius Light (warm pearl) and Gaius Dark (deep slate) themes using
classical Roman pigments — cinnabar red, verdigris green, lapis blue,
and aureus gold — rendered in a modern contemporary style. Includes
auto-switching Gaius option that follows system preference.
Add permissionMode to SessionSummary, show permission mode and flavor
badges in session header and list with theme-aware colors.
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Findings

  • None.

Summary

  • No issues found in added/modified lines. Residual risk: UI behavior changes (theme selection, session grouping, clipboard/terminal paste) need manual smoke in browser/Telegram.

Testing

  • Not run (automation). PR reports bun run typecheck:web, bun run test:web.

HAPI Bot

@gaius-codius gaius-codius deleted the merge/pr185-combined-local branch February 19, 2026 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant