From 0d5136e5b69cdc639264003316e04efc3af00121 Mon Sep 17 00:00:00 2001 From: jeluard Date: Fri, 28 Sep 2018 12:44:14 +0200 Subject: [PATCH] Fixed incorrect errors handling --- website/pages/try.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/website/pages/try.html b/website/pages/try.html index 616c86a..1eb6a82 100644 --- a/website/pages/try.html +++ b/website/pages/try.html @@ -45,7 +45,7 @@ function clearErrors() { const el = document.getElementById("errors"); el.innerHTML = ''; - el.classList.className = ""; + el.className = ""; } function displayErrors(errors) { @@ -99,6 +99,7 @@ `; var cm = CodeMirror(document.getElementById("content")); cm.on("change", function(c, change) { + clearErrors(); const read = pluto.reader.read(cm.getValue()); const readJS = pluto.js.from_clj(read); displayErrors(readJS.errors);