Comment 5 for bug 953757

I agree that option 1 is definitely the worst. I am inclined to option 3 simply because it is a standard behavior on the web (and in many other places, even GNOME uses it in the sound menu!). It is also more touch friendly.
I don't think sliders and scrollbars should necessary be so consistent (two very different beasts), but, as mpt says, our scrollbars are hidden anyways.

I discussed the matter with the people in GNOME and they actually deliberated for option 3 for sliders and also scrollbars (preserving the consistency). Clearly, I am not sure about the latter choice, but this is what our patch should do to get accepted. As said few times, this doesn't affect us.