gtk+-3.22.15: resizing gnome-terminal window via top border makes it grow at the bottom
Submitted by kobboi
Link to original bug (#782863)
Description
(I have been having this problem for a couple of GNOME releases now)
- open a gnome-terminal window
- resize the window by clicking on the top border and moving it up and down semi-violently
=> sometimes the bottom border moves down. when this happens, the top border is no longer aligned with the mouse cursor
Pretty crappy description of the problem, but baedert on #gtk+ confirmed almost immediately (though slightly different experiment using gtk3-widget-factory)
Version: 3.22.x