From 8d60c4bd60b379a57b5cbb17bc0522c38cba09a8 Mon Sep 17 00:00:00 2001
From: zleyyij <75810274+zleyyij@users.noreply.github.com>
Date: Thu, 5 Sep 2024 13:46:48 -0600
Subject: [PATCH] style: fix style

---
 frontend/src/lib/components/FileNavigation.svelte | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/frontend/src/lib/components/FileNavigation.svelte b/frontend/src/lib/components/FileNavigation.svelte
index 2331859c..daccaa2e 100644
--- a/frontend/src/lib/components/FileNavigation.svelte
+++ b/frontend/src/lib/components/FileNavigation.svelte
@@ -70,7 +70,10 @@
 		}
 		// TODO: requisite backend work, eg create DELETE
 		// handler for documents.
-		const r = await fetch(`${apiAddress}/api/doc?path=${path}`, {method: "DELETE", credentials: "include"});
+		const r = await fetch(`${apiAddress}/api/doc?path=${path}`, {
+			method: 'DELETE',
+			credentials: 'include'
+		});
 		if (r.ok) {
 			addToast({
 				message: `The file "${path}" was deleted successfully."`,