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:
> when zooming, or showing or hiding the tab bar
> or menu bar, the window size changes, often pushing part of it
> off-screen

This part (which I personally found the most annoying) is fixed in
gnome-terminal/3.26.1-2.

> when half-maximizing a terminal window, it resizes to an integral
> number of character cells, leaving a distracting border on the bottom
> and the right side

This part is unsolved, which surprises me, because the change
that upstream applied is one that I thought should have fixed this
too. gnome-terminal is meant to disable this behaviour when half-maximized
(or "tiled" as the APIs call it), but that doesn't seem to work: possibly
it's told about its new size (and resizes itself to be slightly smaller
than that due to the character cell granularity) before it's told that it
has been tiled?

> For that matter, opening two terminal windows, half-maximizing both, and
> dragging the border between them produces various buggy behavior with
> window borders jumping around and separating. I think the whole
> mechanism doesn't work well with windows that have resize increments
> other than one pixel.

Not yet fixed either.

    smcv