From 1b04243af6731232a178b7631af9d0e8ec8ac5e3 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 15 Dec 2023 00:03:12 +0100
Subject: [PATCH] fix: ctrl+enter on linux

---
 packages/codemirror/keybindings.mjs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/codemirror/keybindings.mjs b/packages/codemirror/keybindings.mjs
index 6fe00eda..4f82103e 100644
--- a/packages/codemirror/keybindings.mjs
+++ b/packages/codemirror/keybindings.mjs
@@ -24,8 +24,11 @@ const keymaps = {
   vscode: vscodeExtension,
 };
 
+// filter out Mod-Enter to fix linux ctrl+enter
+const _defaultKeymap = defaultKeymap.filter((kb) => kb.key !== 'Mod-Enter');
+
 export function keybindings(name) {
   const active = keymaps[name];
-  return [keymap.of(defaultKeymap), keymap.of(historyKeymap), active ? active() : []];
+  return [keymap.of(_defaultKeymap), keymap.of(historyKeymap), active ? active() : []];
   // keymap.of(searchKeymap),
 }