Re: Files I don't want to see!

[Charles Yeomans <yeomans at desuetude dot com>]

On Sunday, December 30, 2001, at 02:54  PM, Theo wrote:

> > In this case, best is
> >
> > While WindowCount > 0
> >   Window(0).Close
> > Wend
> >
> > It handles extreme cases correctly
> No it doesn't.
Yes it does.  WindowCount = 0 precisely when there are no windows open.  
So the While loop executes if and only if there are windows open.
> > and it's immediately obvious that it's correct.
> It is wrong, because a window might not close.
I'm eager to see your counterexample in code.

Charles Yeomans