upstream bug report confirms that this is a bug in Ubuntu:
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/132
upstream bug report confirms that this is a bug in Ubuntu:
https:/ /gitlab. gnome.org/ GNOME/gnome- terminal/ issues/ 132