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

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