It appears we would need a new upstream bug to track this because the old one didn't go anywhere. Please create one in:
https://gitlab.gnome.org/GNOME/gnome-terminal/issues
or
https://gitlab.gnome.org/GNOME/gtk/issues
and then tell us the URL.
It appears we would need a new upstream bug to track this because the old one didn't go anywhere. Please create one in:
https:/ /gitlab. gnome.org/ GNOME/gnome- terminal/ issues
or
https:/ /gitlab. gnome.org/ GNOME/gtk/ issues
and then tell us the URL.