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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs