Public bug reported:
Maybe this could fix also https://bugs.launchpad.net/ubuntu/+source
/gnome-menus/+bug/13172 but I am not sure
I attach a patch for modifying a bit /etc/xdg/menus/applications.menu
for preventing some useless kde menu entries (for a gnome user), like
KDE preferences menus.
Thanks a lot for including. This is being used since months in Gentoo
with no problem at all
** Affects: gnome-menus (Ubuntu)
Importance: Undecided
Status: New
--
Patch for preventing useless KDE menu entries to be shown in gnome menu
https://bugs.launchpad.net/bugs/173146
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
