Re: gnome-terminal patch



>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



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]