Hi, This has already been brought to upstream developers' attention, there's been some discussion about it at: https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140 cheers, e.