From 3cfd2f9399a4ec5251a52c538e226ff8f72ec8a6 Mon Sep 17 00:00:00 2001
From: Maximilian Grundke <maximiliangrundke@googlemail.com>
Date: Wed, 2 Dec 2015 14:09:11 +0100
Subject: [PATCH] Unbind ace shortcut for code folding. Fixes #31

---
 app/assets/javascripts/editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/assets/javascripts/editor.js b/app/assets/javascripts/editor.js
index 4c9b834e..118a7b35 100644
--- a/app/assets/javascripts/editor.js
+++ b/app/assets/javascripts/editor.js
@@ -411,6 +411,7 @@ $(function() {
       editor.setReadOnly($(element).data('read-only') !== undefined);
       editor.setShowPrintMargin(false);
       editor.setTheme(THEME);
+      editor.commands.bindKey("ctrl+alt+0", null);
       editors.push(editor);
       var session = editor.getSession();
       session.setMode($(element).data('mode'));