not a gnome-panel bug in any case, either wrong .desktop or icon cache or user files or whatever but not a bug there
not a gnome-panel bug in any case, either wrong .desktop or icon cache or user files or whatever but not a bug there