Bug#879566: Half-maximized terminal windows not edge-to-edge, size changes with zoom or tab bar

[Simon McVittie]

Control: reassign 879566 gnome-terminal,libgtk-3-0
Control: found 879566 gnome-terminal/3.26.1-1
Control: found 879566 libgtk-3-0/3.22.24-1
Control: forwarded 879566 https://bugzilla.gnome.org/show_bug.cgi?id=789356

On Sun, 22 Oct 2017 at 14:18:12 -0700, Josh Triplett wrote:
> I don't know whether this bug lies with gnome-shell or with mutter

I think this is actually a behaviour change in GTK+ 3.22.23
(<https://bugzilla.gnome.org/show_bug.cgi?id=789357>) to which
gnome-terminal has not adjusted
(<https://bugzilla.gnome.org/show_bug.cgi?id=789356>). There is also a
new protocol between Mutter and GTK+, but that wouldn't be a problem if
GTK+ hadn't changed its app-visible behaviour while adding support for
that protocol.

I think the most robust solution would be to fix both gnome-terminal
(to make use of the non-deprecated protocol) and GTK+ (to restore
compatibility with the deprecated protocol). I'll try to do some patches
later.

    smcv