From d6fa4a8953459bbdc6374cf54ac2e9b6cc9137d8 Mon Sep 17 00:00:00 2001
From: mikera <mike@mikera.net>
Date: Sat, 10 Aug 2024 10:45:28 +0100
Subject: [PATCH] Fix for DLFS browser

---
 convex-gui/src/main/java/convex/gui/dlfs/FileList.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/convex-gui/src/main/java/convex/gui/dlfs/FileList.java b/convex-gui/src/main/java/convex/gui/dlfs/FileList.java
index 4924ce560..d7af6ec4f 100644
--- a/convex-gui/src/main/java/convex/gui/dlfs/FileList.java
+++ b/convex-gui/src/main/java/convex/gui/dlfs/FileList.java
@@ -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);