Probably relevant: https://bugzilla.gnome.org/show_bug.cgi?id=769898
- Bug#834455: gnome-terminal: Window height decreases... Peter Paluch
- Bug#834455: gnome-terminal: Window height decr... Pascal Obry
- Bug#834455: gnome-terminal: Window height decr... Christian von Kietzell
- Bug#834455: gnome-terminal: Window height decr... Trout, Diane E.
- Bug#834455: gnome-terminal: Window height decr... Egmont Koblinger
- Bug#834455: gnome-terminal: Window height ... Egmont Koblinger