This bug has disappeared by an upgrade about a week ago.
Apparently, the problem was not caused by gnome-terminal: downgrading
from version 3.26.2-2 to 3.22.2-1 does not re-introduce it.
In any case, feel free to close this bug.
Not sure if this is related, but while a gnome terminal window is being
resized, messages about "Allocating size to GtkScrollbar 0x555efdf44410
without calling gtk_widget_get_preferred_width/height(). How does the
code know the size to allocate?" keep appearing in /var/log/messages.
Package: gnome-terminal
Version: 3.22.1-1
When grabbing one of the four corners of a window in order to resize it,
one invariant is that the opposite corner should stay in its position.
Gnome-terminal somehow manages to violate this invariant. Grab the top
left or top right corner, whirl it
3 matches
Mail list logo
