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

Reply via email to