Skip to content

Use a denser xterm font size on desktop web layouts - #1187

Merged
edwin-zvs merged 2 commits into
mainfrom
webui-desktop-xterm-font
Aug 3, 2026
Merged

Use a denser xterm font size on desktop web layouts#1187
edwin-zvs merged 2 commits into
mainfrom
webui-desktop-xterm-font

Conversation

@edwin-zvs

Copy link
Copy Markdown
Contributor

Summary

  • Session xterm font stays at 13px on narrow/mobile layouts (max-width: 720px, same breakpoint as isNarrowLayout()).
  • On desktop layouts it uses 12px so more columns fit in the session terminal.
  • Existing terminals (including split-pane duplicate mirrors) resync when the viewport crosses the breakpoint; console overlay and playbook hover previews are unchanged.

Test plan

  • Open a PTY session in the web UI on a wide desktop window and confirm the terminal text is slightly smaller than before.
  • Narrow the window below 720px (or open on a phone) and confirm the font is still 13px / same as today.
  • Resize across the 720px breakpoint with a live session open and confirm the font updates without a full reload.
  • Split panes showing the same session: both mirrors use the layout-appropriate size.

Session terminals stay at 13px on narrow (≤720px) viewports for phone
readability, and drop to 12px on desktop so more columns fit. Font size
resyncs when the viewport crosses the breakpoint so existing terminals
pick it up without a reload.
Slightly denser than 12px so more columns fit on wide layouts; mobile
stays at 13px.
@edwin-zvs
edwin-zvs merged commit 953dfe6 into main Aug 3, 2026
1 check passed
@edwin-zvs
edwin-zvs deleted the webui-desktop-xterm-font branch August 3, 2026 06:45
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