Besides changing the font size, I haven't found a way to explicitly reduce the height/padding of the tab bar and the breadcrumbs line
There is this great option verticalPadding, but it seems to only affect the file table
Is there something similar for the tab bars/breadcrumbs elements?
Besides changing the font size, I haven't found a way to explicitly reduce the height/padding of the tab bar and the breadcrumbs line There is this great option
verticalPadding
, but it seems to only affect the file table Is there something similar for the tab bars/breadcrumbs elements?