Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=752698
Emmanuel Seyman emmanuel.seyman@club-internet.fr changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |emmanuel.seyman@club-intern | |et.fr
--- Comment #4 from Emmanuel Seyman emmanuel.seyman@club-internet.fr 2011-11-22 12:11:26 EST --- FWIW, if I take the file /usr/share/applications/fedora-padre.desktop and replace : Icon=padre with Icon=/usr/share/icons/hicolor/64x64/apps/padre.png
the icon shows up in gnome-shell.