Wenn ich GNOME Terminal 3.18.3 [verfügbar mit Ubuntu 16.04] gedrückt halte und an den oberen Bildschirmrand ziehe, um es zu maximieren, funktioniert das wunderbar. Aber wenn ich dasselbe mache, um es durch Herunterziehen auf die Originalgröße zurückzusetzen, wird es nicht auf die Originalgröße zurückgesetzt. Das Fenster behält seine maximale Größe, obwohl die Titelleiste aus der oberen Unity-Leiste herausspringt.
Aber ich habe kein ähnliches Problem terminator.