Menu

#106 Problem viewing file system "roots"

normal bug
closed-fixed
5
2000-08-23
2000-08-23
No

In jEdit 2.6pre3, there is a bug in the file browser. When I choose to open a file, it opens the browser. For the most part it works just fine. When I press the "up" button, it goes to the parent directory, as it should. However, once I am at the root directory of a drive (e.g. "C:\") and I press "up" again, the "Path:" field changes to "roots", and the list of files/directories does not change.

One fix for this problem is modifying org.gjt.sp.jedit.io.FileVFS.getFileParent(String), so that instead of returning 'FileRootsVFS.PROTOCOL' when the current directory is one of the roots, it returns 'FileRootsVFS.PROTOCOL + ":"'. Then, the "Path:" will be set to "roots:", and this will correctly display the list of roots. However, I am new to the jEdit source (I just found out about jEdit this past weekend), and I can't say whether or not this is the best way to solve the problem. It may be better to just modify FileRootsVFS.PROTOCOL to include the ":". Or some other solution is probably possible.

I am running jEdit 2.6pre3 on Win95 with the IBM 1.3 JVM. I have tested the above fix on my system and it appears to work just fine. I haven't tried it on any other OS.

Discussion

  • Slava Pestov

    Slava Pestov - 2000-08-23

    Fixed in 2.6pre4.

     
  • Slava Pestov

    Slava Pestov - 2000-08-23
    • assigned_to: nobody --> spestov
    • status: open --> closed-fixed
     

Log in to post a comment.