From 87a8f3adc2fdc0046ed2463de9db7b0bdbb4e6f0 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Wed, 27 Jul 2016 22:21:17 +0100
Subject: [PATCH] Remove ctrl-f keyboard shortcut

---
 src/app/editor.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/app/editor.js b/src/app/editor.js
index d041ffa218..ee03bb0320 100644
--- a/src/app/editor.js
+++ b/src/app/editor.js
@@ -181,8 +181,9 @@ function Editor (loadingFromGist, storage) {
     editor.setSession(sessions[SOL_CACHE_FILE]);
     editor.resize(true);
 
-    // Unmap ctrl-t
+    // Unmap ctrl-t & ctrl-f
     editor.commands.bindKeys({ 'ctrl-t': null });
+    editor.commands.bindKeys({ 'ctrl-f': null });
   }
 }