Hmm maybe that's not a bug in gnome-terminal, but rather me wrongly using gtk3-nocsd, actually enabling CSD globally instead of just disabling gtk3-nocsd itself globally.
When doing this correctly, gnome-terminal has borders/etc. again, but no scrollbar, though this may be because of #821409. So feel free to close this issue, if you think it should. Cheers, Chris. btw: Please never make CSD mandatory in gnome-terminal...
smime.p7s
Description: S/MIME cryptographic signature
