Gnome-terminal modified title
Submitted by Simon Manlay
Link to original bug (#152986)
Description
Distribution: Gentoo Base System version 1.4.16 Package: gnome-terminal Severity: enhancement Version: GNOME2.8.0 2.7.x Gnome-Distributor: GARNOME Synopsis: Gnome-terminal modified title Bugzilla-Product: gnome-terminal Bugzilla-Component: general Bugzilla-Version: 2.7.x Description: Hello
When modify the title of a tab, I think the new title should replace the initial title definied in the profile, unlike be placed after it. Like this, when an application changes the title, the manually modified title will be conserved.
For example: I use some tabs, in each I've a different ssh login. To remember which tab is where, I change the titles with (local, server 1, home ...). But really, if the term changes the title, I lose my reper and can't know if I'm on my computer, or on remote server. (Sorry, but konsole do better with titles ... don't worry, I use gnome)
In addition, I think it would be great if a popup menu (rigth click on a tab) exist (with close, rename the session ...)
------- Bug moved to this database by unknown@bugzilla.gnome.org 2004-09-18 05:21 -------
Unknown platform unknown. Setting to default platform "Other". Unknown milestone "unknown" in product "gnome-terminal". Setting to default milestone for this product, '---' Setting to default status "UNCONFIRMED". Setting qa contact to the default for this product. This bug either had no qa contact or an invalid one.
Version: 2.9.x
Resolution: RESOLVED FIXED