From 38d7b55032183e1695f9701063f65c30863bf533 Mon Sep 17 00:00:00 2001
From: "Eevee (Evelyn Woods)" <git@eev.ee>
Date: Mon, 6 May 2024 15:03:31 -0600
Subject: [PATCH] Fix local directory loading

---
 js/util.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/util.js b/js/util.js
index acf9e3c..59915f8 100644
--- a/js/util.js
+++ b/js/util.js
@@ -410,6 +410,10 @@ export class FileFileSource extends FileSource {
             return Promise.reject(new Error(`No such file was provided: ${path}`));
         }
     }
+
+    iter_all_files() {
+        return Object.keys(this.files);
+    }
 }
 // Regular HTTP fetch
 export class HTTPFileSource extends FileSource {