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 or view it on GitHub: https://github.com/geany/geany/pull/1154#issuecomment-241225030
