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
