Thanks, it seems as if it may be bug#531734, though it is not obvious to me why.
Anyway, I will see if it solves the problem when gnome-terminal (2.26.2-2)
gets into testing.
Gustavo Noronha wrote:
On Sun, 2009-07-05 at 12:12 +0100, John Talbut wrote:
Can this bug be reopened or should I open a new one?
What problem are you having, exactly? I believe you may be hitting a
specific issue in gnome-terminal, so take a look at the bug list for
gnome-terminal before reopening this one, I guess.
Thanks,
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
