Hi, Thanks for this report! Upstream gnome-terminal 3.36.1 fixes this issue. Now you only need to wait for Debian to ship this version, which hopefully won't take long.
e. On Sun, Mar 22, 2020 at 10:44 PM Egmont Koblinger <egm...@gmail.com> wrote: > > Upstream: https://gitlab.gnome.org/GNOME/gnome-terminal/issues/236
