[zanellato19]

You mean hiding the top bar, right?

[ktm5j]

Yes, that's what they're talking about. It ends up wasting space to have your vertical tab sidebar without the ability to hide the default tab bar at the top of the window.