editor: fix #73

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();
+				}
+			}
 		});
 	});
+
 	</script>
 	{% for error in field.errors %}
 		<span class="msgerror">{{ error }}</span>