From 67c3ebba42abcf5cc02926a7056a2259dc1b3667 Mon Sep 17 00:00:00 2001
From: Darks <l.gatin@neuf.fr>
Date: Thu, 24 Sep 2020 22:43:39 +0200
Subject: [PATCH] editor: fix #73

---
 app/templates/widgets/editor.html | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

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