[Feature request] Can you add the ability to set the width、height、and font size of the tab bar?
Is your feature request related to a problem? Please describe. After changing "Settings" -> "Text and Editor" -> "Default Font and Size," the font size of the tab bar does not match the editor, making the tab bar appear either too large or too small.
Describe the solution you'd like Can you add options to set the width, height, and font size of tabs under "Settings" -> "Personalization"? or Can you add options to set the width, height, and font size of tabs under "Settings" -> "Text and Editor"?
Describe alternatives you've considered I tried looking for options related to "tab" in the "Settings," but I couldn't find any.
Additional context When the editor font size is set to 14 (at this point, tabs do not appear excessively large):
When the editor font size is set to 10 (at this point, tabs appear a bit too large):
+1
I have the same request.
Thanks and cheers.