diff options
author | 2018-04-10 13:28:40 +0100 | |
---|---|---|
committer | 2018-04-10 13:28:40 +0100 | |
commit | af7353b896352a00ddaf49fd9cce847190b8f23f (patch) | |
tree | 6e8624ac40b1e31ebb2297043a62b1d4e0fccc12 /templates/wiki/page_edit.html | |
parent | [Wiki] Add url_for text role (diff) |
[Wiki] Prevent page saving if there's an error
Diffstat (limited to 'templates/wiki/page_edit.html')
-rw-r--r-- | templates/wiki/page_edit.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/templates/wiki/page_edit.html b/templates/wiki/page_edit.html index 7664511e..661e6b36 100644 --- a/templates/wiki/page_edit.html +++ b/templates/wiki/page_edit.html @@ -14,7 +14,7 @@ <button class="uk-button uk-button-secondary" type="button" value="Preview" id="preview">Preview</button> </div> <div class="uk-width-auto"> - <input class="uk-button uk-button-primary" type="submit" value="Save" /> + <input class="uk-button uk-button-primary" type="submit" id="submit" value="Save" /> </div> <div class="uk-width-1-1"> <div id="editor" class="uk-textarea" style="resize: vertical; min-height: 15rem;">{{ rst }}</div> @@ -42,6 +42,8 @@ let response = JSON.parse(this.responseText); if (response.error !== undefined) { + document.getElementById("submit").disabled = true; + if (response.error_lines !== undefined) { editor.session.setAnnotations(response.error_lines); document.getElementById("preview-div").innerHTML ="<h3>Error - see editor margin</h3>"; @@ -50,7 +52,9 @@ document.getElementById("preview-div").innerHTML ="<h3>Error</h3><p>" + response.error + "<p>"; } } else { + document.getElementById("submit").disabled = false; document.getElementById("preview-div").innerHTML = response.data; + editor.session.setAnnotations([]); } }); |