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

[Simon McVittie]

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, but
> either way, it's a serious usability problem when using terminal
> windows. I think this might correspond to the changes to support
> resizing a pair of half-maximized windows by grabbing the border between
> them.

Another possibility is that this is a gnome-terminal bug - it is
gnome-terminal that is responsible for implementing character-cell-based
resizing, and previous versions special-cased being maximized or
half-maximized, and filled the entire allocated region (as an exception
to the usual character-cell-based behaviour) when half-maximized.

    smcv