fix(files): stale state in fileTree

src/lib/openFolder.js

@@ -579,13 +579,15 @@
 	async function deleteFile() {
 		const msg = strings["delete entry"].replace("{name}", name);
 		const confirmation = await confirm(strings.warning, msg);
+  let $parent;
 		if (!confirmation) return;
 		startLoading();
 		if (!(await fsOperation(url).exists())) return;
 		// await fsOperation(url).delete();
 		recents.removeFile(url);
 		if (helpers.isFile(type)) {
 			await fsOperation(url).delete();
+   $parent = $target.parentElement;
 			$target.remove();
 			const file = editorManager.getFile(url, "uri");
 			if (file) file.uri = null;
@@ -617,13 +619,15 @@
 			}
 			recents.removeFolder(url);
 			helpers.updateUriOfAllActiveFiles(url, null);
+   $parent = $target.parentElement?.parentElement;
 			$target.parentElement.remove();
 			editorManager.onupdate("delete-folder");
 			editorManager.emit("update", "delete-folder");
 		}
 
 		toast(strings.success);
 		FileList.remove(url);
+		await removeEntryFromFileTree(url, $parent);
 	}
 
 	async function renameFile() {
@@ -1055,6 +1059,28 @@
 	);
 }
 
+async function removeEntryFromFileTree(url, $parent){
+        const fileTree = $parent?._fileTree;
+        if (fileTree) {
+                await fileTree.removeEntry(url);
+                return;
+        }
+}
+
+        await Promise.all(
+                Array.from($els).map(async ($el) => {
+                        if (!(helpers.isDir($el.dataset.type) || $el.dataset.type === "root")) {
+                                return;
+                        }
+
+                        const fileTree = getLoadedFileTree($el);
+                        if (fileTree) {
+                                await fileTree.removeEntry(url);
+                        }
+                }),
+        );
+}
+
 /**
  * Create a folder tile
  * @param {string} name