<div dir="ltr">Hey Matthias and Peter,<div><br></div><div>thanks for reporting.</div><div><br></div><div>Could you please try to reproduce this issue with newer version of gnome-terminal 3.14.1-1 ?</div><div><br></div><div>thanks</div><div>regards</div><div>althaser</div><div><br></div></div>