#3802 File browser displays files wrong after moving files

normal bug
open
nobody
7
2013-05-11
2013-05-11
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
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks