Upstream gnome-terminal bugreport at: https://gitlab.gnome.org/ GNOME/gnome-terminal/issues/29 ... 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.
thanks, egmont
