Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Clipclops] Header tweaks #3839

Merged
merged 2 commits into from
May 3, 2024
Merged

[Clipclops] Header tweaks #3839

merged 2 commits into from
May 3, 2024

Conversation

mozzius
Copy link
Member

@mozzius mozzius commented May 3, 2024

  • Wrap name if too long
  • Add dividers to convo menu

Copy link

render bot commented May 3, 2024

Copy link

github-actions bot commented May 3, 2024

Old size New size Diff
6.86 MB 6.86 MB 36 B (0.00%)

@mozzius mozzius merged commit 997e621 into main May 3, 2024
6 checks passed
estrattonbailey added a commit that referenced this pull request May 3, 2024
* origin/main:
  make service url gate friendlier (#3841)
  remove broken keyboard offset code (#3842)
  [Clipclops] Header tweaks (#3839)
  update date logic to account for timezones (#3840)
  [Clipclops] Moar error (#3837)
  [Session] Reset global agent on expire (#3838)
  [Session] Rely on agent session change event for persisting resumed session (#3836)
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.

2 participants