Bug#850024: gnome-terminal moves, while it's being resized

2018-01-03 Thread Richard B. Kreckel

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.



Bug#850024: gnome-terminal moves, while it's being resized

2017-07-27 Thread Richard B. Kreckel
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.



Bug#850024: gnome-terminal moves, while it's being resized

2017-01-03 Thread Richard B. Kreckel
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 around, and watch the entire window
move away!

This happens both in Gnome sessions on X11 and on Wayland. On X11, the
window's lower corner tends to move downwards. On Wayland it tends to
move upwards.

I'm not observing this with any other program, which is why I'm
reporting this against gnome-terminal. (In particular, it doesn't happen
with xterm.)