Re: [ jEdit-devel ] "Insert disk.." popup is back

Fixed.

On Mon, 2002-12-30 at 15:06, car...@lo... wrote:
> Slava, jEdit 4.1pre7 reintroduces the windows bug when listing
> file roots.
> 
> In FileRootsVFS._getDirectoryEntry(....
> 
> the call to:
> 
> if(file.isDirectory())
> 
> should be changed to:
> 
> if(path.startsWith("A:") || path.startsWith("B:")
>                   || file.isDirectory())
> 
> or something like that to prevent Windows thrashing the disk drives
> and popping up an error message.
> 
> Here's a diff -u...
> 
> (See attached file: diffu.txt)
> 
> 
> Carmine
> 
-- 
Slava Pestov <sl...@je...>