1 From a folder that is not the folder selected in the folder browser, drag a file into the file list
2 Set a renaming option and do Rename
3 Do Undo Rename
Expected: file remains in file list
Observed: file disappears from file list
BRU 4.0.0.9, Windows 7 64-bit