Use SVG icons instead of PNG

[Ioannis Nousias]

Denis Washington wrote:
> On Sun, 2008-02-10 at 14:42 +0000, Ioannis Nousias wrote:
>   
>> ok, I followed your advice and filed a report for gnome-terminal (which 
>> also exhibits the same issue).
>>
>> for your records: 
>> https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/190688
>>     
>
> It would be the best to file these bugs upstream, that is, on
> bugzilla.gnome.org in this case. That way the developers which are
> actually maintaining the app will noctice them.
>
> Regards,
> Denis
>
>
>   
ok

http://bugzilla.gnome.org/show_bug.cgi?id=515587

(merely a copy-paste of the previous one)