<<< Date Index >>>     <<< Thread Index >>>

xterm title (What should go into 1.5.7?)



Re: Thomas Roessler in <20050127184510.GM7841@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
> > I suppose that an alternative implementation could be having escape
> > sequences like \[ \] in bash prompt, to allow setting the title from
> > e.g. $pager_format.
> 
> I'd prefer that approach, as it is more flexible.

I agree that including the xterm title in pager_format/status_format/
etc. is more flexible. Since I worked on that patch before, I'll
update it.

How should the terminal type be evaluated? Currently, the list of
terminals is hardcoded in the patch. Should that be a mutt option or
do we want to go by something like: ?

set pager_format=`case TERM in xterm*) echo "......." ;; ...`

In the later case, the necessary escaping of ESC-sequences could
*really* get nasty.

IMHO hardcoding the actual ESC-sequence into mutt is no problem, since
it is the same on all terminals.

Christoph
-- 
cb@xxxxxxxx | http://www.df7cb.de/

Attachment: signature.asc
Description: Digital signature