if we use the gnome icon theme, the problem goes away. also, it will have some other icon inconsistencies fixed.
if we use the gnome icon theme, the problem goes away. also, it will have some other icon inconsistencies fixed.