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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs