OK, sorry for keeping you busy because of such a small thing. Let me put it like this:
Regarding these arrows in the main menu, I preferred the hardy font over the intrepid font. So I guess this is a wish/enhancement. I would like to have the hardy look back in this particular case, the other one caught my eye (in a negative sense). :) -- Intrepid: arrows in gnome menu? https://bugs.launchpad.net/bugs/278299 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in ubuntu. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
