Run query when pressing Ctrl-Enter in query editor (#1136)

diff --git a/app/addons/documents/mango/components/MangoQueryEditor.js b/app/addons/documents/mango/components/MangoQueryEditor.js
index f04a158..15ef83a 100644
--- a/app/addons/documents/mango/components/MangoQueryEditor.js
+++ b/app/addons/documents/mango/components/MangoQueryEditor.js
@@ -35,6 +35,20 @@
     this.props.loadQueryHistory({ databaseName: this.props.databaseName });
     // Clear results list in case it was populated by other pages
     this.props.clearResults();
+
+    // Add key binding to run query when doing Ctrl-Enter
+    const editor = this.codeEditor.codeEditor.editor;
+    const runQueryCmdName = "runQuery";
+    if (!editor.commands.byName[runQueryCmdName]) {
+      editor.commands.addCommand({
+        name: runQueryCmdName,
+        bindKey: {win: 'Ctrl-Enter', mac: 'Command-Option-Enter'},
+        exec: () => {
+          this.runQuery({preventDefault: () => {}});
+        },
+        readOnly: true
+      });
+    }
   }
 
   componentDidUpdate (prevProps) {