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" -- Fedora-desktop-list mailing list Fedora-desktop-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-desktop-list