4 ms·
That's already an option you can set, since at least El Cap.
by tomku 6y ago
That's already an option you can set, since at least El Cap.
- tokamak-teapot 6y agoI would guess the reason that auto-hide is not switched on by default is that it’s jarring and ugly to have it appear and disappear. With scrollbars, auto hiding /re-appearing isn’t even something I notice happening.