From 9d6dbc1a6f1c9bb804c8f01aef44a96ba5622485 Mon Sep 17 00:00:00 2001
From: Gediminas Petrikas <gedas18@gmail.com>
Date: Sun, 25 Mar 2018 14:55:06 +0300
Subject: [PATCH] Remove folding keyboard shortcut

---
 browser/components/CodeEditor.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js
index 2b653eb6..8b729f24 100644
--- a/browser/components/CodeEditor.js
+++ b/browser/components/CodeEditor.js
@@ -113,9 +113,6 @@ export default class CodeEditor extends React.Component {
       gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter'],
       autoCloseBrackets: true,
       extraKeys: {
-        'Ctrl-G': function (cm) {
-          cm.foldCode(cm.getCursor())
-        },
         Tab: function (cm) {
           const cursor = cm.getCursor()
           const line = cm.getLine(cursor.line)