The bug disappeared for some old installs but not all. For those that still had the bug, the following seemed to fix the problem:
dconf write /org/gnome/terminal/legacy/headerbar '@mb false'
@peterx14 maybe that would help in your case as well?
The bug disappeared for some old installs but not all. For those that still had the bug, the following seemed to fix the problem:
dconf write /org/gnome/ terminal/ legacy/ headerbar '@mb false'
@peterx14 maybe that would help in your case as well?