Skip to content

Polish panel tabs and release mentions - #154

Merged
badcuban merged 2 commits into
mainfrom
agent/polish-panel-tabs-release-notes
Aug 14, 2026
Merged

Polish panel tabs and release mentions#154
badcuban merged 2 commits into
mainfrom
agent/polish-panel-tabs-release-notes

Conversation

@badcuban

Copy link
Copy Markdown
Collaborator

Summary

  • give inactive right-panel tabs a distinct resting surface while preserving the stronger hover state
  • render GitHub-generated release author handles as ordinary clickable profile links, avoiding viewer-specific mention highlighting
  • cover both behaviors with focused regression tests

Why

Inactive tabs blended into the side-panel background, and GitHub highlighted bare @handle attributions in nightly release notes for the mentioned viewer.

Validation

  • vp run '@threadlines/web#test:browser' AgentsPanel (37 passed)
  • vp run 'scripts#test' generate-release-notes (9 passed)
  • GitHub Markdown API rendering check
  • vp fmt --check
  • vp lint
  • vp run typecheck
  • git diff --check

@vercel

vercel Bot commented Aug 14, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
threadlines Ready Ready Preview Aug 14, 2026 6:57am

Request Review

@github-actions github-actions Bot added vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. size:S labels Aug 14, 2026
@badcuban
badcuban merged commit 15668e4 into main Aug 14, 2026
15 checks passed
@badcuban
badcuban deleted the agent/polish-panel-tabs-release-notes branch August 14, 2026 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:S vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant