Bug#694356: gnome-shell: Applications are dumplicate in Gnome Shell

Josselin Mouette joss at debian.org
Sun Nov 25 21:55:08 UTC 2012

Le dimanche 25 novembre 2012 à 21:14 +0100, Michael Biebl a écrit : 
> You most likely have the Debian Menu enabled.
> Please try removing the menu and menu-xdg package or hiding the Debian
> menu (which is hidden by default in GNOME).

If it is causing this amount of trouble, should we completely ditch the
Debian menu in gnome-menus? (Trivial patch)

 .''`.      Josselin Mouette
: :' :
`. `'

More information about the pkg-gnome-maintainers mailing list