gnome-terminal title

[Dave Howorth <dhoworth@mrc-lmb.cam.ac.uk>]

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