Skip to content

Conversation

@zadjii-msft
Copy link
Member

Honestly, I don't really know where it regressed. There isn't time for me to go digging.

See also

Closes #15326

Honestly, I don't really know where it regressed. There isn't time for me to go digging.

See also
* #15313
* #15164

Closes #15326
@microsoft-github-policy-service microsoft-github-policy-service bot added Issue-Bug It either shouldn't be doing this or needs an investigation. Area-UserInterface Issues pertaining to the user interface of the Console or Terminal Product-Terminal The new Windows Terminal. Severity-Blocking We won't ship a release like this! No-siree. labels May 12, 2023

<!-- Suppress top padding -->
<Thickness x:Key="TabViewHeaderPadding">9,0,5,0</Thickness>
<Thickness x:Key="TabViewHeaderPadding">0,0,0,0</Thickness>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

removing the right padding - worth making sure about the sice when the tab bar is full-width

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I cannot figure out what the right padding was for. It looks the same here as in 1.18.1291 (and this PR isn't in that build)

<x:Double x:Key="CaptionButtonHeightWindowed">40.0</x:Double>
<!-- 32 + (1 to compensate for GH#10746) + (-1 for GH#15164) -->
<x:Double x:Key="CaptionButtonHeightMaximized">33.0</x:Double>
<x:Double x:Key="CaptionButtonHeightMaximized">32.0</x:Double>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

wait this broke too?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤷

@DHowett DHowett merged commit d0f66b9 into main May 12, 2023
@DHowett DHowett deleted the dev/migrie/b/15326-tab-padding branch May 12, 2023 18:26
DHowett pushed a commit that referenced this pull request May 12, 2023
Honestly, I don't really know where it regressed. There isn't time for
me to go digging.

See also
* #15313
* #15164

Closes #15326

(cherry picked from commit d0f66b9)
Service-Card-Id: 89193703
Service-Version: 1.18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-UserInterface Issues pertaining to the user interface of the Console or Terminal Issue-Bug It either shouldn't be doing this or needs an investigation. Product-Terminal The new Windows Terminal. Severity-Blocking We won't ship a release like this! No-siree. zBugBash-Consider

Projects

Development

Successfully merging this pull request may close these issues.

MUX 2.8: left padding on tab row is larger than 2.7

4 participants