[ginger]

Not exactly my case.

What I want is to be able to quickly hide the whole tab-bar when I have to edit some lengthy file, so I need a lot of display state to see more.
And then show it back, when I switch to another file.

“Open Documents” doesn’t hide tab-bar so it’s of little help for my case. Thanks, still.