This should be fixed in gnome-terminal 3.20 but we're stuck with this broken version.
** Bug watch added: Red Hat Bugzilla #1160184 https://bugzilla.redhat.com/show_bug.cgi?id=1160184 ** Also affects: gnome-terminal (Fedora) via https://bugzilla.redhat.com/show_bug.cgi?id=1160184 Importance: Unknown Status: Unknown ** Also affects: gnome-terminal via https://bugzilla.gnome.org/show_bug.cgi?id=740188 Importance: Unknown Status: Unknown ** Also affects: gnome-terminal (Debian) via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746204 Importance: Unknown Status: Unknown ** Bug watch added: Debian Bug tracker #749281 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749281 ** Changed in: gnome-terminal (Debian) Remote watch: Debian Bug tracker #746204 => Debian Bug tracker #749281 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1577927 Title: After upgrade, can no longer set tab titles To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1577927/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
