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.