On Thursday 06 March 2003 12:30, Waldo Bastian wrote:
>
> > if (result.contains(directory)) {
> >  result.remove(directory)
> >  result.prepend(directory)
> > }
> >
> > so the last dir is properly remembered in all cases. Is that ok ?
>
> The if should be dropped completely then.

Yes, that occurred to me a minute after posting (as usual). I'll commit the 
patch tonight unless someone disagrees.

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