#1817 BufferList: the tree view does not work correctly in certain cases

[Baldurien]

I often open jedit from the console (Git Bash under Windows 7), and since Git Bash convert path like that :

/e/git -> e:/git (or e:\git)

The BufferList fails to correctly recognize the syntax "E:\git" and sometimes put the following tree as seen in attachment "BufferList.png".

=> Under Windows, it should first check for the current path ignoring the case (which is the default on Windows), and replacing "/" separators by "\".

Use case:

• From jEdit, open a file inside "E:\git\<some directory>\<some file>"
• From git bash, open a file using an absolute path, like jedit /e/git/logback.xml (or javaw -jar jedit.jar -reuseview /e/git/logback.xml).

Versions:

• Windows 7 Professional x64
• Java 1.8.0_45 x64
• jEdit 5.2.0
• BufferList 1.5

[Baldurien]

For reference, the options in the Plugin options.