GNOME Bugzilla – Bug 555338
font of the arrows in the gnome main menu is too heavy
Last modified: 2010-03-24 12:42:33 UTC
The font of the arrows in the gnome main menu seems to have changed from 2.23 to 2.24 (or from Ubuntu hardy to intrepid). I think the current font in 2.24 is too heavy and I would like to have the old one back! I know it's just a small thing, but I think I'm not alone in this request. There is also a discussion at https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/278299
Created attachment 120650 [details] picture showing the big menu arrows Here's an attachment showing the big submenu arrows in the menu. And it's not only in the main menu, it's in all GTK+ menus, e.g. the right click menu of the desktop, the context menu of NetworkManager, etc.
The size of the arrows is decided by the theme in use and has really nothing to do with the gnome-panel. You could just change the theme (or make an adjustment to it) if you don't like it. If are serious about considering this bug you should probably file a bug against the theme (for drawing too ugly arrows) or against your distribution (for choosing a too ugly theme as default). The only thing that could possibly be done in gnome-panel is to (optionally) override the global theme with it's own one. If this isn't desirable (or perhaps it's already implemented?) I suggest this bug to be closed.
Yeah, I realized by now that you can change the arrows by changing the theme. But still, this seems to be the GNOME default theme. I'm in Ubuntu and the themes Human, Clearlooks, and Dark Room all switched to the new arrow font at the same time (from 2.22 to 2.24 if I remember correctly). Maybe somebody can clear this up, but I think that this new arrow font is part of a GNOME default and not of an external theme.
I think this has been fixed? Please could you confirm if you still think there is a problem.
Yes, the arrows look fine to me now, but maybe I just got used to the new ones. :) It's OK with me to close the bug.
Closing as per last comment.