diff options
Diffstat (limited to 'templates/wiki/page_edit.html')
| -rw-r--r-- | templates/wiki/page_edit.html | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/templates/wiki/page_edit.html b/templates/wiki/page_edit.html index 7664511e..b797577d 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> @@ -24,10 +24,12 @@ <input type="hidden" name="csrf_token" value="{{ csrf_token() }}"/> </form> - <h2>Preview</h2> + <div class="uk-container uk-container-small" style="padding: 1rem 1rem 0.1rem;"> + <h2 id="preview-title">{{ title }}</h2> - <div class="uk-alert" id="preview-div" style="padding: 1rem 1rem 0.1rem;"> - {{ preview | safe }} + <div id="preview-div"> + {{ preview | safe }} + </div> </div> <script type="application/javascript"> @@ -42,6 +44,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 +54,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([]); } }); @@ -81,6 +87,10 @@ clearTimeout(timer); } timer = setTimeout(function() {document.getElementById("preview").click()}, 1000); - }) + }); + + document.getElementById("title").oninput = function() { + document.getElementById("preview-title").textContent = document.getElementById("title").value; + } </script> {% endblock %}
\ No newline at end of file |