Re: gnome-terminal patch

[aj facade dhs org]

> > >   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.

One could track the pid of the shell or whatever that is
launched inside the terminal, and cause the title of the window
to be the command line of the most-recently launched process
that is a child/grandchild of the first process.  Or the youngest
child of the youngest child etc.

This is what QNX does, and it looks good.  If you are running a shell
script, the title becomes a play-by-play, and you can find different
edit buffers by looking at the window labels in the pager...


__
Adrian Johnston