diff options
| author | Omar Rizwan <omar@omar.website> | 2023-06-27 19:40:13 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-06-27 19:42:13 +0000 |
| commit | 82d01c81089de61083b0bb52c5525384a38dc964 (patch) | |
| tree | e3dbe1c8dee0a1cfe4a7cb0007d0901f70402173 /virtual-programs/new-program-web-editor.folk | |
| parent | Add prefix math ops to language (diff) | |
| download | folk-82d01c81089de61083b0bb52c5525384a38dc964.tar.gz folk-82d01c81089de61083b0bb52c5525384a38dc964.zip | |
Fix error rendering in web editor
Diffstat (limited to 'virtual-programs/new-program-web-editor.folk')
| -rw-r--r-- | virtual-programs/new-program-web-editor.folk | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk index 692b00e0..5797365b 100644 --- a/virtual-programs/new-program-web-editor.folk +++ b/virtual-programs/new-program-web-editor.folk @@ -113,9 +113,9 @@ Wish the web server handles route "/new" with handler { ws.close(); } ws.onmessage = (msg) => { - if (msg.data.startsWith("ERROR:")) { + if (msg.data.startsWith("Error:")) { const errorEl = document.getElementById("error"); - if (msg.data == "ERROR: {}") { + if (msg.data === "Error:") { errorEl.style.backgroundColor = ""; errorEl.innerText = ""; } else { @@ -153,7 +153,10 @@ Wish the web server handles route "/new" with handler { if {$::isLaptop} { Step } `); setTimeout(() => { - send(`list ERROR: [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]]`); + send(` +set errors [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]] +join [list "Error:" {*}[lmap e $errors {dict get $e errorInfo}]] "\n" +`); }, 500); } let jobid; |