This was fixed upstream in 3.20 (with a rather nasty commit message), but even on 3.28 it is not working in Ubuntu 18.04. A brief (5 minute) examination of the code shows that it is there in the Ubuntu source package. Someone that actually maintains this will know more of why it is still broken.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
