I wrote the following for bug : http://bugzilla.gnome.org/show_bug.cgi?id=140279
If a user has several mouses wouldn't they potentially want to customize each mouse differently? Questions: 1. Is gnome-mouse-properties still the best place for this enhancement? 2. Is gpointing-device-settings the right place to introduce this enhancement? 3. Or should the two apps be somewhat merged? I'm thinking option 3. User doesn't want to guess which app is appropriate for mouse or pointing device customization. -- Integrate "extra buttons" in mouse properties https://bugs.launchpad.net/bugs/198313 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
