Feature Request: Option to hide the navigation bar when scrolling

[Tak]

https://mastodon.social/@[email protected]/111420273334897621

[connyduck]

I don't like options for such tiny ui details, either we make it hide all the time on scrolling or never.

[Tak]

Fair enough, feel free to close 🤷

[connyduck]

I don't want to veto the whole feature, just questioning if it really needs an option. We should check how we can hide the bar on scroll, that is probably quite easy, and then decide how we like it.