you can do file ops within a file open browser. I did shift-delete of 2 files I range-selected. then shift-delete.
expected: files deleted without being put into recycle bin (same as windows explorer), and file browser stays open,
actual: files are deleted as expected (verified in cmd shell), but afterwards window does not paint, jedit locks up.
is this in java?
would not mind if it did put into recycle bin, as long as files get deleted and all works OK.
Can not reproduce. Checked against [r24747]
Using both docked and floating file browser. On Win7.
Related
Commit: [r24747]