server : add a subtle loading animation to the edit box (#2466)

* editorconfig: add override for the server HTML (which already is 2-space indented) * server: add a subtle loading animation to the edit box
ggerganov · Sep 4, 2023 · e4386f4 · e4386f4
1 parent 3519568
commit e4386f4
Show file tree

Hide file tree

Showing 3 changed files with 2,045 additions and 1,943 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -17,3 +17,6 @@ indent_style = tab
 
 [prompts/*.txt]
 insert_final_newline = unset
+
+[examples/server/public/*]
+indent_size = 2