The problem is that booth menu item have the same name. (only the icon differ) So it's not possible to easily know which version will be launch
-- glade 3 menu entry has the same name as glade-gnome's https://launchpad.net/bugs/95315 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
