From a84fc0301874967a52a5c47d1b2b63251ff47144 2014-03-21 01:45:06
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2014-03-21 01:45:06
Subject: [PATCH] Actually remove the trigger keydown method

---

diff --git a/IPython/html/static/base/js/keyboard.js b/IPython/html/static/base/js/keyboard.js
index a5c8a69..e3c74b7 100644
--- a/IPython/html/static/base/js/keyboard.js
+++ b/IPython/html/static/base/js/keyboard.js
@@ -128,15 +128,6 @@ IPython.keyboard = (function (IPython) {
         return shortcut;
     };
 
-    var trigger_keydown = function (shortcut, element) {
-        // Trigger shortcut keydown on an element
-        element = element || document;
-        element = $(element);
-        var event = shortcut_to_event(shortcut, 'keydown');
-        element.trigger(event);
-    }
-
-
     // Shortcut manager class
 
     var ShortcutManager = function (delay) {