#3802 File browser displays files wrong after moving files

normal bug
open
nobody
7
2013-05-11
2013-05-11
Bence Pinter
No

VFSBrowser.rename() behaves non-deterministic after moving (renaming with new path) files. It puts renamed files/directories to the top of the browser. The files are moved in the right place though, after refreshing the directory they are in the right directory.

Tested jEdit versions (newest trunk, official builds for Windows,Linux, OSX)

Tested JREs : openjdk-1.7 (Linux Mint 14) , sun jdk 1.7 for windows, osx jdk 1.7)

Steps to reproduce: rename files including a new path. It happens randomly (maybe because the different thread pools), The same action performed exactly the same, can give different results.

Discussion

  • Bence Pinter
    Bence Pinter
    2013-05-11

    • summary: File browser displays files inwrong order after moving files --> File browser displays files wrong after moving files
     
  • Bence Pinter
    Bence Pinter
    2013-05-11

    • priority: 5 --> 7
    • milestone: 101609 --> normal bug