** Changed in: gnome-terminal (Debian)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1577927
Title:
After upgrade, can no longer set
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.
no updates on this?
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1577927
Title:
After upgrade, can no longer set tab titles
Status in GNOME Terminal:
Unknown
Status in
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 Desktop
Packages, which is subscribed to
** Changed in: gnome-terminal (Debian)
Status: Unknown => Confirmed
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1577927
Title:
After upgrade, can no longer set tab
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
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
** 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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
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
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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
10 matches
Mail list logo