<div dir="ltr">Hey,<div><br></div><div>Couldn't you reproduce this bug with newer version of gnome-terminal like 3.4.1.1-2 or 3.10.1-1 right ?</div><div><br></div><div>thanks</div><div>regards</div><div>althaser</div><div>

<br></div></div>