diff --git a/app/templates/widgets/editor.html b/app/templates/widgets/editor.html index 03e8f00..7c641ad 100644 --- a/app/templates/widgets/editor.html +++ b/app/templates/widgets/editor.html @@ -37,8 +37,27 @@ shortcuts: { toggleFullScreen: null, }, + status: false, + }); + + // Ctrl+Enter submits form + ta = document.querySelector("div.CodeMirror"); + ta.addEventListener('keydown', function(e) { + var keyCode = e.keyCode || e.which; + if (e.ctrlKey && keyCode == 13) { + var e = e.target; + while(! (e instanceof HTMLFormElement)) { + e = e.parentNode; + } + try { + e.submit(); + } catch(exception) { + e.submit.click(); + } + } }); }); + {% for error in field.errors %} {{ error }}