diff --git a/app/assets/javascripts/editor.js.erb b/app/assets/javascripts/editor.js.erb
index 2da4a37b..ececfdde 100644
--- a/app/assets/javascripts/editor.js.erb
+++ b/app/assets/javascripts/editor.js.erb
@@ -425,6 +425,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'));