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)



--
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss