Merge pull request #148 from ethereum/keyboard-shortcuts

Remove ctrl-t and ctrl-f keyboard shortcut

Merge pull request #148 from ethereum/keyboard-shortcuts
28ac90a9 · chriseth · GitHub · 5e367b54 · 87a8f3ad · 28ac90a9
Commit 28ac90a9 authored Aug 01, 2016 by chriseth Committed by GitHub Aug 01, 2016
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

editor.js src/app/editor.js +4 -0

No files found.
--- a/src/app/editor.js
+++ b/src/app/editor.js
@@ -180,6 +180,10 @@ function Editor (loadingFromGist, storage) {

    editor.setSession(sessions[SOL_CACHE_FILE]);
    editor.resize(true);
+
+    // Unmap ctrl-t & ctrl-f
+    editor.commands.bindKeys({ 'ctrl-t': null });
+    editor.commands.bindKeys({ 'ctrl-f': null });
  }
 }