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);