On Monday 23 July 2001 06:55, Waldo Bastian wrote:
> The following patch allows you to change your history size without losing
> the contents of the history buffer.

Looks good to me.

> A problem that still needs fixing before release is to stop the scrolling
> when looking at the history. This is a bit tricky I guess, because you need
> to take care that the part you are viewing isn't deleted underneath you.

Yes, quite. If you stop the scrolling, it means you're temporarily switching 
to "infinite" history. Once cvs is thawed I'll try to think of a way to 
get infinite history to work in a less user-puzzling way.

-- 
Guillaume
http://www.telegraph-road.org