diff --git a/static/index.html b/static/index.html index 7c72ec6..5365a61 100644 --- a/static/index.html +++ b/static/index.html @@ -1,3 +1,4 @@ + @@ -8,6 +9,13 @@

Input org-mode source:


-
+
+
+
+
+
+ tree goes here +
+
diff --git a/static/script.js b/static/script.js index e8467fd..1182bff 100644 --- a/static/script.js +++ b/static/script.js @@ -43,7 +43,13 @@ inputElement.addEventListener("input", async () => { }); inFlightRequest = newRequest; - let response = await inFlightRequest.ready; + let response = null; + try { + response = await inFlightRequest.ready; + } + catch (err) { + if (err.name === "AbortError") return; + } renderParseResponse(await response.json()); }); diff --git a/static/style.css b/static/style.css index db98321..4dcff3c 100644 --- a/static/style.css +++ b/static/style.css @@ -53,3 +53,12 @@ h7 { .code_block > code.highlighted::before { background: #307351ff; } + +.output_container { + display: flex; + flex-direction: row; +} + +.output_container > * { + flex: 1 0; +}