[Bug 1577927] Re: After upgrade, can no longer set tab titles
** Changed in: gnome-terminal (Debian) Status: Confirmed => Fix Released -- 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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
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 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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
no updates on this? -- 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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
Fedora ships patches for this feature using this fork: https://github.com/debarshiray/gnome-terminal ** Changed in: gnome-terminal (Ubuntu) Status: Confirmed => Triaged -- 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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
** Changed in: gnome-terminal (Debian) Status: Unknown => Confirmed -- 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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
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
[Bug 1577927] Re: After upgrade, can no longer set tab titles
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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1577927] Re: After upgrade, can no longer set tab titles
** Changed in: gnome-terminal (Ubuntu) Importance: Undecided => Medium ** Changed in: gnome-terminal (Ubuntu) Importance: Medium => High -- 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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1577927] Re: After upgrade, can no longer set tab titles
This seems to affect all users of 16.04. When I try <> I'm told, that this feature is not longer supported. I wish to get this back! Are there any reasons for the decision not to allow titles set by the user? It is annoying! Best Regards Vej -- 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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1577927] Re: After upgrade, can no longer set tab titles
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-terminal (Ubuntu) Status: New => Confirmed -- 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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
