I tried the solution at https://askubuntu.com/questions/711685/how-to-disable-the-hiding-of-scrollbars-in-version-16-04-and-up#= but that solution had no effect here, in Firefox or Nautilus, on 18.04.
Any thoughts?
Tag: autohiding
Are auto-hiding floating headers bad?
Many websites have headers that are always on-screen when you scroll up, but auto-hide when you scroll down.
I hate them personally because the screen space they would’ve used up if they stayed permanently on-screen is terrible to use; if you accidentally scroll a pixel up it’ll hide a few cm of screen space, and you have to do a little scroll up/down dance to get that screen space back.
Are there any studies on them?
