** 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 se
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 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:
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-ter
** 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
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
Importa
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 inst
** 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.laun
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 ar
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.launch
10 matches
Mail list logo