From 619528c455ccac68d4b4d7dd1a999f3b089e07ac 2014-01-07 22:42:36 From: Brian E. Granger Date: 2014-01-07 22:42:36 Subject: [PATCH] Fixing bug in KeyboardManager.enable/disable. --- diff --git a/IPython/html/static/notebook/js/keyboardmanager.js b/IPython/html/static/notebook/js/keyboardmanager.js index c1effe6..c3380d2 100644 --- a/IPython/html/static/notebook/js/keyboardmanager.js +++ b/IPython/html/static/notebook/js/keyboardmanager.js @@ -267,11 +267,11 @@ var IPython = (function (IPython) { } KeyboardManager.prototype.enable = function () { - this.enable = true; + this.enabled = true; } KeyboardManager.prototype.disable = function () { - this.enable = false; + this.enabled = false; }