Tab wrap - allow to change height of tabs

[swinder0161]

• VSCode Version: 1.53.0-insider
• Commit: a48ef56
• Date: 2021-01-05T05:22:22.983Z
• Electron: 11.1.0
• Chrome: 87.0.4280.88
• Node.js: 12.18.3
• V8: 8.7.220.29-electron.0
• OS Version: Darwin x64 20.2.0:

This version has #106448 integrated and can wrap tabs to multiple lines. #70413

After enabling the wrapping, it seems too much height for tabs and screen space is wasted.

It will be good to have an option to sqeeze the tab height so that rows can move up.

as an optional feature, also an option ot change horizontal width of tabs in shrink mode will be good to have

[swinder0161]

@bpasero here is the issue I discussed in PR #70413

[vannaka]

@swinder0161 have you written any code for this issue? I can't find a PR for it and you haven't linked to any?

@bpasero here is the issue I discussed in PR #70413

In your comment you say 'PR', did you mean 'issue'? This page that we are having this conversation on is an 'issue' not a 'PR'.

[swinder0161]

@vannaka is it related to PR #70413
I have not yet written any code. Maybe next week I might have some time to do it.

[swinder0161]

@bpasero I see another issue that edirot font size change also changes the font size of filename in tab. so if some one increases editor font size, which I normally do to not strain my eyes, the tabs row takes more vertical space.

[bpasero]

The editor font size is not used anywhere outside the editor, i think you talk about zooming?

[swinder0161]

Yes you are correct my zoom was set to 1 and now -0.5 looks nice. incidentally my old font size(12) matched the font size in tab text. Now I changed font size in editor to 10 but tab font size is still bigger ~12

[yume-chan]

I found #42253 when searching, not sure whether the old hacks in there are still valid after wrapping tabs.

[bpasero]

/duplicate 42253