<div dir="ltr"><div dir="ltr">Upstream gnome-terminal bugreport at: <a href="https://gitlab.gnome.org/GNOME/gnome-terminal/issues/29" target="_blank">https://gitlab.gnome.org/<wbr>GNOME/gnome-terminal/issues/29</a> ... although chances are it's a bug in some other component, not gnome-terminal or vte. I'd appreciate if you could join our investigation there.</div><div dir="ltr"><br></div><div>thanks,</div><div>egmont<br></div></div>