forwarded 421134 http://bugzilla.gnome.org/show_bug.cgi?id=342804 thanks
On Thu, 2007-04-26 at 19:15 +0200, giggz wrote: > I noticed that we can choose an icon for a profil. But if this icon is > not a svg one, it can be blur. So I decided not to give an special > icon. But gnome-terminal use /usr/share/pixmaps/gnome-terminal.png > instead of the "gnome-terminal" or "utilities-terminal" icon of the > default theme (or other theme which have these icons). Indeed, I have marked the bug as forwarded upstream. You can follow progress here, http://bugzilla.gnome.org/show_bug.cgi?id=342804 -- Cheers, Sven Arvidsson http://www.whiz.se PGP Key ID 760BDD22
signature.asc
Description: This is a digitally signed message part
