That sounds like a good idea, and I guess it would help to deal with potential conflicts with other applications too.
-- You received this bug notification because you are a member of UBUNTU - AL - BR, which is subscribed to Do. https://bugs.launchpad.net/bugs/599802 Title: super + space fails to summon gnome-do when using gnome-shell Status in Do: New Bug description: OS = Fedora 13 Gnome running Gnome shell. Gnome-do when launched from the terminal will come up, however the keyboard shortcut fails to respond. Tried changing the shortcut to alternatives but still fails. To manage notifications about this bug go to: https://bugs.launchpad.net/do/+bug/599802/+subscriptions -- Mailing list: https://launchpad.net/~linux-traipu Post to : [email protected] Unsubscribe : https://launchpad.net/~linux-traipu More help : https://help.launchpad.net/ListHelp
