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
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.
|Submitted||bcooper0 - 2013-05-11 - 18:37:30z||Assigned||nobody|
|Priority||7||Category||virtual file systems|