gnome-terminal patch

[Jens Finke <pearl darkride net>]

Hello!

I added a new feature to the gnome-terminal. The included patch adds a new
item ("Set title ...") to the menubar and the popup menu. It opens a
dialog where you can enter a new title for the gnome-terminal window. I
think its quite useful if you have a lot of terminal windows open and try
to distinguish them.

Maybe someone else is interested in this. Maybe the maintainer of
gnome-terminal ;-). The patch is against the latest gnome-core 1.0.55
release. 

Regards,
         Jens

-- 
"The Linux philosophy is laugh in the face of danger. Oops. Wrong one. 
'Do it yourself'. Thats it." - Linus Torvalds

gnome-terminal.patch.gz