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
I've removed "menu" but not "menu-xdg" and now the bug has disappeared.
This is a bug of "menu" package. Installing it should not cause repeated
entries in Gnome Shell.
Maybe we should reassign this bug to "menu" package? (I don't know whether it's
possible to move a Debian bug to an other pack
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 wi
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.
-- System Information:
4 matches
Mail list logo
