From e953f2d75e0fa6523f43824fad710523884bb629 Mon Sep 17 00:00:00 2001
From: Gnome Ann <>
Date: Sun, 19 Sep 2021 23:48:04 -0400
Subject: [PATCH] Use 3-space indentation instead of 4 in downloaded JSON

This is to match the indentation style of the JSON files created by
aiserver.py which apparently use 3 space indentation...
---
 static/application.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/application.js b/static/application.js
index d38b7a7d..2431db49 100644
--- a/static/application.js
+++ b/static/application.js
@@ -883,7 +883,7 @@ function downloadStory(format) {
 		authorsnote: $("#anoteinput").val(),
 		actions: actionlist_compiled,
 		worldinfo: wilist_compiled,
-	}, null, 4)]));
+	}, null, 3)]));
 	anchor.setAttribute('href', objectURL);
 	anchor.setAttribute('download', filename_without_extension + ".json");
 	anchor.click();