reassign 697099 gnome-shell quit With the submitter approval, I am reassigning this bug to gnome-shell.
Josselin: please add yourself a few choiced deprecatory word about gnome-shell. I am lacking your litterary skill. Cheers, Bill. On Tue, Jan 01, 2013 at 04:30:13PM +0100, Bill Allombert wrote: > 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. <ballo...@debian.org> > > Imagine a large red swirl here. > > -- Bill. <ballo...@debian.org> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
