I don't really understand what purpose this serves (other than working around a bug in Ubuntu overlay scrollbars), but if it's off by default, and people want it, it doesn't bother me. The only thing I'd change is to make it a various preference instead of further cluttering the main prefs UI with such a specialized and unlikely to ever be used setting.


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