Mouse accessibility enhancements for the GNOME desktop
