(MediaEntry e)
| 176 | |
| 177 | // Remove file(s) associated with media entry |
| 178 | private void removeFiles(MediaEntry e) { |
| 179 | if (e.files == null) { |
| 180 | return; |
| 181 | } |
| 182 | e.files.stream().forEach((f) -> { |
| 183 | f.path.delete(); |
| 184 | }); |
| 185 | Utility.gripe("All disk images for " + e.name + " have been deleted."); |
| 186 | } |
| 187 | |
| 188 | public MediaEntry.MediaFile getCurrentFile(MediaEntry e, boolean isPermanent) { |
| 189 | if (e == null) { |