-
Notifications
You must be signed in to change notification settings - Fork 9.1k
Closed as not planned
Labels
Area-SettingsIssues related to settings and customizability, for console or terminalIssues related to settings and customizability, for console or terminalArea-ThemingAnything related to the theming of elements of the windowAnything related to the theming of elements of the windowIssue-TaskIt's a feature request, but it doesn't really need a major design.It's a feature request, but it doesn't really need a major design.Product-TerminalThe new Windows Terminal.The new Windows Terminal.
Milestone
Description
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.paddingAll 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.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
Area-SettingsIssues related to settings and customizability, for console or terminalIssues related to settings and customizability, for console or terminalArea-ThemingAnything related to the theming of elements of the windowAnything related to the theming of elements of the windowIssue-TaskIt's a feature request, but it doesn't really need a major design.It's a feature request, but it doesn't really need a major design.Product-TerminalThe new Windows Terminal.The new Windows Terminal.