Apparently after a system restart all is OK. In the previous session the gnome panel crashed and restarted. Maybe that had something to do with the bug, if the information is of any help.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/762253 Title: The title at the top of the screen does not update when changing tabs, unless I focus another window and then focus back -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs