Upstream marked the linked bug as a dupe of http://bugzilla.gnome.org/show_bug.cgi?id=153725 which is marked fixed though it doesn't seem to exactly match this bug should this bug be closed? -- tabs should resize instead of doing scrolling https://launchpad.net/bugs/62556