From 8e82fe96c3cdc27c480e6f368ea025eab68d99bb Mon Sep 17 00:00:00 2001
From: JunShern <JunShern@users.noreply.github.com>
Date: Thu, 6 Apr 2017 02:50:44 +0100
Subject: [PATCH] Set Ctrl+Enter shortcuts to null, don't generate newlines
 (#333)

---
 client/modules/IDE/components/Editor.jsx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/client/modules/IDE/components/Editor.jsx b/client/modules/IDE/components/Editor.jsx
index d5d75bff..585f3772 100644
--- a/client/modules/IDE/components/Editor.jsx
+++ b/client/modules/IDE/components/Editor.jsx
@@ -73,7 +73,9 @@ class Editor extends React.Component {
 
     this._cm.setOption('extraKeys', {
       'Cmd-Enter': () => null,
-      'Shift-Cmd-Enter': () => null
+      'Shift-Cmd-Enter': () => null,
+      'Ctrl-Enter': () => null,
+      'Shift-Ctrl-Enter': () => null
     });
 
     this.initializeDocuments(this.props.files);