From 2d1f3c86d17e13f54a92eab24856ee4dc5200011 Mon Sep 17 00:00:00 2001
From: "Brian E. Granger" <ellisonbg@gmail.com>
Date: Wed, 5 Feb 2014 23:05:40 -0800
Subject: [PATCH] Delete old timeout.

---
 IPython/html/static/notebook/js/keyboardmanager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IPython/html/static/notebook/js/keyboardmanager.js b/IPython/html/static/notebook/js/keyboardmanager.js
index 1db72680d..c5611affc 100644
--- a/IPython/html/static/notebook/js/keyboardmanager.js
+++ b/IPython/html/static/notebook/js/keyboardmanager.js
@@ -639,7 +639,7 @@ var IPython = (function (IPython) {
         if (c[shortcut] === data.count-1) {
             c[shortcut] = 0;
             var timer = t[shortcut];
-            if (timer) {clearTimeout(timer);}
+            if (timer) {clearTimeout(timer); delete t[shortcut];}
             return data.handler(event);
         } else {
             c[shortcut] = c[shortcut] + 1;