From af7353b896352a00ddaf49fd9cce847190b8f23f Mon Sep 17 00:00:00 2001
From: Gareth Coles <gdude2002@gmail.com>
Date: Tue, 10 Apr 2018 13:28:40 +0100
Subject: [Wiki] Prevent page saving if there's an error

---
 templates/wiki/page_edit.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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([]);
                 }
             });
-- 
cgit v1.2.3