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

Re: What should go into 1.5.7?



On 2005-01-27 19:41:10 +0100, Marco d'Itri wrote:

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

Regards,
-- 
Thomas Roessler · Personal soap box at <http://log.does-not-exist.org/>.