[Bug 211443] gnome-terminal unexpectedly resizes itself after a third tab is created