[PR #8589] Improvements to the tab renamer box #27244

Open
opened 2026-01-31 09:20:50 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/8589

State: closed
Merged: Yes


Basically, just impose a height on both the renamer box and the overall
tab header control. However, to ensure that the text in the tab renamer
box does not get clipped by its own border, we also need to set its font
size, which is slightly smaller than it was before but it is the same
as the text block that it is trying to rename so I'd say its more
consistent now.

We also improve the tab renamer box so that it scrolls as more text is
added instead of getting truncated (when the tabWidthMode is anything
other than titleLength). When the tabWidthMode is set to titleLength,
the renamer box can increase in length much more (see GIFs below).

Closes #8519

**Original Pull Request:** https://github.com/microsoft/terminal/pull/8589 **State:** closed **Merged:** Yes --- Basically, just impose a height on both the renamer box and the overall tab header control. However, to ensure that the text in the tab renamer box does not get clipped by its own border, we also need to set its font size, which is slightly smaller than it was before but it _is_ the same as the text block that it is trying to rename so I'd say its more consistent now. We also improve the tab renamer box so that it scrolls as more text is added instead of getting truncated (when the tabWidthMode is anything other than titleLength). When the tabWidthMode _is_ set to titleLength, the renamer box can increase in length much more (see GIFs below). Closes #8519
claunia added the pull-request label 2026-01-31 09:20:50 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#27244