> Should the automatic scroll be an option or default behavior? The default answer for anything UI is "make it an option", no matter how universal you think something is, somebody somewhere will have a valid use-case for wanting the UI to work different. That applies double to things moving by themselves, many people HATE that.
-- 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/1348#issuecomment-269116456
