gnome-terminal title

[Dave Howorth]

Is there a way to change the title of a gnome-terminal window?

I see that some programs (e.g. vim) do it but others (e.g. mysql) do not 
and it would be nice to know which was which in a list of icons.

Thanks, Dave

--
To UNSUBSCRIBE, email to [EMAIL PROTECTED] 
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]