Re: gnome-terminal patch

[Michael ROGERS <M Rogers cs ucl ac uk>]

>When I have loads of terminals open, and I want to change the title of a
>window to reflect what you are doing with that window, I just want to
>'click, click' (or use a keyboard shortcut), and amend the title. I
>don't want to have to open up a shell and look up that escape sequence I
>saw somewhere.

You could always add this feature to the window manager instead of the
terminal. Then you could use it on any window.

Michael Rogers