** Bug watch removed: GNOME Bug Tracker #162239 http://bugzilla.gnome.org/show_bug.cgi?id=162239 ** Bug watch added: GNOME Bug Tracker #153725 http://bugzilla.gnome.org/show_bug.cgi?id=153725 -- tabs should resize instead of doing scrolling https://launchpad.net/bugs/62556