diff --git a/IPython/html/static/notebook/js/keyboardmanager.js b/IPython/html/static/notebook/js/keyboardmanager.js index 62a3b34..b9b0275 100644 --- a/IPython/html/static/notebook/js/keyboardmanager.js +++ b/IPython/html/static/notebook/js/keyboardmanager.js @@ -267,17 +267,15 @@ var IPython = (function (IPython) { 'd' : { help : 'delete cell (press twice)', handler : function (event) { - var dc = IPython.delete_count; - if (dc === undefined) { - IPython.delete_count = 1; - } else if (dc === 0) { - IPython.delete_count = 1; + var dc = IPython.keyboard_manager._delete_count; + if (dc === 0) { + IPython.keyboard_manager._delete_count = 1; setTimeout(function () { - IPython.delete_count = 0; + IPython.keyboard_manager._delete_count = 0; }, 800); } else if (dc === 1) { IPython.notebook.delete_cell(); - IPython.delete_count = 0; + IPython.keyboard_manager._delete_count = 0; } return false; } @@ -525,7 +523,7 @@ var IPython = (function (IPython) { var KeyboardManager = function () { this.mode = 'command'; this.enabled = true; - this.delete_count = 0; + this._delete_count = 0; this.bind_events(); this.command_shortcuts = new ShortcutManager(); this.command_shortcuts.add_shortcuts(default_common_shortcuts);