()
| 196 | } |
| 197 | |
| 198 | private void back() { |
| 199 | int idx = txtFilename.getText().lastIndexOf(File.separatorChar); |
| 200 | if (idx != -1) { |
| 201 | txtFilename.setText(txtFilename.getText().substring(0, idx)); |
| 202 | refreshFileList(); |
| 203 | } |
| 204 | } |
| 205 | |
| 206 | private void renameFile(final File file) { |
| 207 | final File dir = file.getParentFile(); |
no test coverage detected