|
The large size icons are needed as they are also used as dock icons, so I dont really see a way too solve this. There is no guarantee that installing multiple sizes for the icons will make the menu pick the smaller size, not to mention that the there is no way to know what size of icon the menu requires, since I'd guess it depends on DPI and user settings.
The GNOME developers really should learn how to resize icons in their menus.
|