IMO we could provide it as an option, if it doesnt add a lot of code. Screen real estate is clearly important and some peope might prefer the header bar with lots of stuff being behind a button.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.