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.