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
This commit is contained in:
Aarni Koskela
2023-09-04 16:28:55 +08:00
committed by GitHub
parent b0cd5d83b3
commit d48f5c09df
3 changed files with 2058 additions and 1956 deletions
+3
View File
@@ -17,3 +17,6 @@ indent_style = tab
[prompts/*.txt]
insert_final_newline = unset
[examples/server/public/*]
indent_size = 2