diff options
author | 2018-05-07 12:39:57 +0100 | |
---|---|---|
committer | 2018-05-07 12:39:57 +0100 | |
commit | e3f18117dfc919677a9968984306d070aa3bef9b (patch) | |
tree | d1b168901e3fadfd96c8016ed61431972e4c5098 /templates/wiki | |
parent | Update the code jams info page (diff) |
[Wiki] Fix an editor dumb: `not not`
Diffstat (limited to 'templates/wiki')
-rw-r--r-- | templates/wiki/page_edit.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/templates/wiki/page_edit.html b/templates/wiki/page_edit.html index 138292f9..34b59dca 100644 --- a/templates/wiki/page_edit.html +++ b/templates/wiki/page_edit.html @@ -37,7 +37,7 @@ let csrf_token = "{{ csrf_token() }}"; - function do_preview() { + function do_preview(_) { let oReq = new XMLHttpRequest(); oReq.addEventListener("load", function() { @@ -90,6 +90,7 @@ editor.setShowPrintMargin(false); editor.on("input", function() { + document.getElementById("submit").disabled = true; document.getElementById("rst").value = editor.getValue(); if (timer !== undefined) { @@ -113,7 +114,7 @@ timer = setTimeout(do_preview, 1000); }; - function refreshLock(){ + function refreshLock() { console.log("Refreshing lock"); let xhttp = new XMLHttpRequest(); xhttp.onreadystatechange = function() { |