I'm aiming to slightly increase the height of the status header (with drives dropdown, drive label, freespace), the current directory header, and the listview header (the one with clickable column headers for sorting).
My use case: it looks to me like these three header are pretty well mushed together (which is not neccesarily a good thing for me). Perhaps their spacing is in physical pixels, and on my 4K 15 inch screen, pixels are super tiny. On my other pc which has a "normal" screen, spacing of these headers looks a lot roomier. It might also have to do with the fact that, because I'm on 4K screen, I had to adjust the fonts and the line-height is now smaller in relation to the font.
Either way, I feel I need to increase the height of those headers, so please tell me how, because I can't find it in the configuration. Thanks
I'm on TC 9.21a on Windows 10.
