https://bugzilla.gnome.org/show_bug.cgi?id=740188 Seems to be the related bug. It sounds like this was added back in (possibly)? So maybe we'll see the feature come backup in Y or Z? (I know, having to upgrade just to get the features you used to have is a pain.)
On 16.04 it seems to work to install mate-terminal, which is very similar, but has the old functionality. ** Bug watch added: GNOME Bug Tracker #740188 https://bugzilla.gnome.org/show_bug.cgi?id=740188 -- 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/ubuntu/+source/gnome-terminal/+bug/1577927/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
