Skip to content

Commit

Permalink
Fix for DLFS browser
Browse files Browse the repository at this point in the history
  • Loading branch information
mikera committed Aug 10, 2024
1 parent 8c81469 commit d6fa4a8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion convex-gui/src/main/java/convex/gui/dlfs/FileList.java
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ public FileContextMenu() {
try {
Path p=getSelectedPath();
System.out.println("Deleting:"+ p);
Files.delete(p);
if (p!=null) Files.delete(p);
refreshList();
} catch (IOException e) {
Toast.display(null, "Can't delete file!", Color.ORANGE);
Expand Down

0 comments on commit d6fa4a8

Please sign in to comment.