Re: gnome-terminal patch

[Jens Finke <pearl darkride net>]

On Mon, 24 Jan 2000, Ross Golder wrote:
> This assumes the user is comfortable with the concept of 'escape
> sequences' and with shell scripting. If I said 'escape sequences' to any
> of the non-technical users at work, they'd probably assume I was talking
> about what to do in an emergency!

I totaly agree. If we talk about userfriendliness then we couldn't ask the
user to use escape sequences to change the title of a window.

> >   2. If we are going to support a GUI way of setting the terminal
> >      name, then it needs to go in the properties, so that the setting
> >      can be kept across sessions.
>
> I'd rather have a customisable 'default terminal title' property in the
> properties, _and_ have the ability to change the title on-the-fly to
> reflect what I'm doing in that particular window.

Yes, there should be session-management support for the actual terminal
title. I do also like the idea of a default title setting in the
properties dialog. I will try to enhance my path with these things.

Regards,

     Jens

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