(In reply to comment #3) > Breezy upgraded to gnome-terminal 2.12.0 and the bug doesn't appear anymore. > Seems to have been fixed.
Oops. It is less easy to reproduce now but it still happens. Sorry for spamming this bug report. It still happens but with less frequency.
(In reply to comment #3)
> Breezy upgraded to gnome-terminal 2.12.0 and the bug doesn't appear anymore.
> Seems to have been fixed.
Oops. It is less easy to reproduce now but it still happens. Sorry for spamming
this bug report. It still happens but with less frequency.