Aarni Koskela e4386f417f 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

2023-09-04 16:28:55 +08:00

..

completion.js

Fixing race condition in server and partial stream handling in frontend. (#2391)

2023-08-04 13:37:24 +02:00

index.html

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

2023-09-04 16:28:55 +08:00

index.js

server : implement json-schema-to-grammar.mjs & add grammar param in the UI (#2588)

2023-08-14 15:16:54 +08:00

json-schema-to-grammar.mjs

server : implement json-schema-to-grammar.mjs & add grammar param in the UI (#2588)

2023-08-14 15:16:54 +08:00