Those are VTE based terminal emulators, so I suggest that you forward this issue to the GNOME developers.
https://gitlab.gnome.org/GNOME/vte/issues
Those are VTE based terminal emulators, so I suggest that you forward this issue to the GNOME developers.
https:/ /gitlab. gnome.org/ GNOME/vte/ issues