Comment 23 for bug 966237

@Timo
Yeah, I believe it's gnome, more so.

It's part of a long time attitude on the part of gnome developers, constantly breaking their own software, be it simple themes, standard desktop norms, or as we have here ... mouse configurability, all against user wishes.

Apparently it's fixed as reported on https://bugzilla.gnome.org/show_bug.cgi?id=682457. I'll look into it and try to report back. It took them 3 years to find a fix, and it's tentative at this point. Gees, gnome!