On Mon, 2009-07-27 at 17:55 +0200, drago01 wrote: > On Mon, Jul 27, 2009 at 4:51 PM, Will Woods<wwoods@xxxxxxxxxx> wrote: > > On Sun, 2009-07-26 at 09:52 +0200, drago01 wrote: > >> On Sun, Jul 26, 2009 at 3:17 AM, Matthias Clasen<mclasen@xxxxxxxxxx> wrote: > >> > On Sat, 2009-07-25 at 12:04 +0200, drago01 wrote: > >> > > >> >> > >> >> Well, would it be possible to add a separate gconf key for it? > >> >> I tested the "no icons mode" but well it looks like crap if you are > >> >> used to the "icon mode". > >> >> > >> > > >> > Can you be more specific here ? What is 'it' ? And what looks like > >> > crap ? Are you talking about the panel menu or menus in general ? > >> > >> "It" = panel menu. > > > > The panel menu is supposed to have icons in it, regardless of the state > > of /desktop/gnome/interface/menus_have_icons. > > > > So if you're not getting icons in your panel menu, it's because your > > gnome-panel package is too old to know this. F11 won't behave properly > > here. Ignore it, upgrade to Rawhide, or wait for F12. > > > My comment was directed at "The one potentially confusing thing here > is that the panel menu icons > react to the settings at all (ie category icons come back if you turn > menu icons on). Maybe we want to stop them from doing that." > > which means "make it always use no category icons" > Yes, this is what I was considering. -- Fedora-desktop-list mailing list Fedora-desktop-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-desktop-list