[PATCH] Add File->Close

[Keith Seitz]

On Wed, 23 May 2001, Fernando Nasser wrote:

> I think this option is a good idea.  The name, however, should be
> "Clear".

Now that you mention it, "Close" does sound like a bad choice, but I
don't really like "clear" either. How about something like "Close
executable" or something more descriptive?

BTW, this option really isn't needed, but it is a workaround for a bug in
Win98/2000 (NT?) where the kernel does an exclusive open on all network
files, regardless of whether the program opened the file non-exclusively.
Sigh.

Keith