On Tue, Jan 01, 2013 at 12:06:29PM +0000, Zack wrote: > Package: menu > Version: 2.1.46 > Severity: minor > > Dear Maintainer, > > Several items seem to be duplicated between applications and settings in the > menu (gnome-shell menu). For example gnome-tweak-tool (Advanced settings) and > KDE system settings. This means on a search, sometimes you get back more > results than needed, as there are some in both sections. It also means > sometimes you have to type more than otherwise to show the results, as there > are more results coming up in applications than there should be. E-mail > settings is in the applications and not in preferences, which is the wrong > categorisation.
Hello, Are you really reporting a problem with the Debian menu system ? By looking at your description, it seems you are rather reporting a problem with gnome-shell menu. Maybe you could try to remove the menu package and see whether it makes any difference. Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
