On 25.11.2012 20:51, Victor Porton wrote: > Package: gnome-shell > Version: 3.4.2-2 > Severity: normal > > Dear Maintainer, > > When I type "gnome-terminal" in Gnome Shell dashboard, I see two (different) > icons of the terminal instead of one, as it should be. The same (duplication) > happens with many other (probably all) apps.
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). -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature
