+1 for the issue. I'm on Linux, currently this is not a OS-wide setting. It's good to follow OS-setting, even if it has a bad default. But the decision to auto-hide the scrollbar on systems without this setting is disappointing, to express my opinion...
