Allow different configurations for multiple mice
In GNOME settings it is not possible to set different options for different mice.
In particular it is very useful to have a left handed mouse on the left and a right handed on the right.
Edited by Mario Futire