Due to the animated GtkInfobars in 3.10, the height of terminal windows shrinks each time you dismiss an infobar
@jfft
Submitted by Jeff Fortin Tam Link to original bug (#712548)
Description
Created attachment 260064 screencast
The attached screencast demonstrates the problem, where gnome-terminal gradually shrinks by the height of the infobar each time you close the infobar.
To reproduce this, set gnome-terminal's preferences to "stay open when the process exits", launch some bash script file, and when it exits re-run it again by using the infobar button; the terminal will shrink on each iteration.
Attachment 260064, "screencast":
gnome-terminal-3.10-sizing
Version: 3.10.x
Resolution: RESOLVED FIXED