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.