Looks like it just got fixed upstream:
https://github.com/GNOME/gnome-terminal/commit/4dc9dbe3a3e3d5effbd042a8f15dfd9f32e21adf
Looks like it just got fixed upstream:
https:/ /github. com/GNOME/ gnome-terminal/ commit/ 4dc9dbe3a3e3d5e ffbd042a8f15dfd 9f32e21adf