Bug#809340: Terminal widget occasionally gets garbled

2016-02-08 Thread Enrico Zini
On Tue, Dec 29, 2015 at 01:48:59PM -0500, Julián Moreno Patiño wrote: > Thanks in advance to report this. > Please could you reproduce this with terminator -d and > attach the output to the report? I put that in my todo list but I ended up switching to roxterm instead. Since the switch, I get

Bug#809340: Terminal widget occasionally gets garbled

2015-12-29 Thread Julián Moreno Patiño
Hello Enrico, Thanks in advance to report this. Please could you reproduce this with terminator -d and attach the output to the report? Have a nice day, -- Julián Moreno Patiño Debian Developer  .''`. Debian GNU/{Linux,KfreeBSD} : :' : Free Operating Systems `. `'  http://debian.org/   `-