diff options
Diffstat (limited to 'templates')
| -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() { |