Skip to content

Show trust editor tab icon correctly for "window.density.editorTabHeight": "compact" (fix #196209) #196212

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 24, 2023

Conversation

gjsjohnmurray
Copy link
Contributor

@gjsjohnmurray gjsjohnmurray commented Oct 22, 2023

This PR fixes #196209

image

image

The line-height: 37px !important; removed by this PR was introduced in #152904 by @sbatten, and predated the ability to set editor tab height.

@lszomoru lszomoru added the bug Issue identified by VS Code Team member as probable bug label Oct 23, 2023
@lszomoru lszomoru requested a review from sbatten October 23, 2023 13:33
@lszomoru lszomoru added this to the October 2023 milestone Oct 23, 2023
@sbatten
Copy link
Member

sbatten commented Oct 23, 2023

To me, this PR brings back the problem that the icon is a little high on the tab, however looking at other file icons, they also look too high, so perhaps this is just a general problem and the current fix is causing an issue. For that reason, approving this one.

@lszomoru lszomoru merged commit 7c529b9 into microsoft:main Oct 24, 2023
@gjsjohnmurray gjsjohnmurray deleted the fix-196209 branch October 24, 2023 06:38
Alex0007 pushed a commit to Alex0007/vscode that referenced this pull request Oct 26, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 8, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Issue identified by VS Code Team member as probable bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Workspace trust icon position incorrect when compact window density
4 participants