GNOME Bugzilla – Bug 586238
Implement new mouse settings
Last modified: 2010-12-07 18:31:44 UTC
Now that Xorg has been patched to allow more mouse settings possibilities, the gnome mouse configuration tool has to be updated to allow the user to take advantage of them. See http://bugs.freedesktop.org/show_bug.cgi?id=8583 for the patch and its documentation (http://bugs.freedesktop.org/attachment.cgi?id=17772).
Adding usability, as new settings are particularly many. Bug 93445 is not about a new setting (introduced by the xorg patch), it has to be fixed at the same time.
We're not going to be exporting all those settings to the user, in fact, we're looking at reducing the number of mouse settings.