Vincent Ho wrote: > Not sure if this is a bug in gnome-terminal or libvte4. We need someone > to try to reproduce it in another vte4 app such as xfce4-terminal. Confirmed. The same thing happens with xfce4-terminal, so looks like it's libvte4 that's at fault.