Support for compact, default, and touch friendly tab row sizes #8148

Open
opened 2026-01-31 01:22:07 +00:00 by claunia · 0 comments
Owner

Originally created by @zadjii-msft on GitHub (May 14, 2020).

Make the tabs, caption buttons smaller at compact.
Make the tabs, caption buttons bigger at touch.

I can't recall which app I saw this in recently, but I thought it was a good idea. Firefox maybe? Definitely plays in to the work being outlined in #3327 / #5772.

Should this be it's own property, or a collection of other ones?

tabRow.height
tab.fontSize
tab.padding

All seem like properties the user would need to configure, but I'm not really sure now if all of them make sense atomically, or if a user would even want to tune them separately.

Originally created by @zadjii-msft on GitHub (May 14, 2020). Make the tabs, caption buttons smaller at `compact`. Make the tabs, caption buttons bigger at `touch`. I can't recall which app I saw this in recently, but I thought it was a good idea. Firefox maybe? Definitely plays in to the work being outlined in #3327 / #5772. Should this be it's own property, or a collection of other ones? ```json tabRow.height tab.fontSize tab.padding ``` All seem like properties the user would need to configure, but I'm not really sure now if all of them make sense atomically, or if a user would even want to tune them separately.
claunia added the Area-SettingsIssue-TaskProduct-TerminalArea-Theming labels 2026-01-31 01:22:08 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#8148