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.
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 properties still the best place for this enhancement? device- settings the right place to introduce this enhancement?
mouse differently?
Questions:
1. Is gnome-mouse-
2. Is gpointing-
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.