##// END OF EJS Templates
removing keyboard shortcuts should also update help
Paul Ivanov -
Show More
@@ -195,16 +195,22 b' IPython.keyboard = (function (IPython) {'
195
195
196 ShortcutManager.prototype.add_shortcuts = function (data) {
196 ShortcutManager.prototype.add_shortcuts = function (data) {
197 for (var shortcut in data) {
197 for (var shortcut in data) {
198 this.add_shortcut(shortcut, data[shortcut], True);
198 this.add_shortcut(shortcut, data[shortcut], true);
199 }
199 }
200 // update the keyboard shortcuts notebook help
200 // update the keyboard shortcuts notebook help
201 IPython.quick_help = new IPython.QuickHelp();
201 IPython.quick_help = new IPython.QuickHelp();
202 }
202 }
203
203
204 ShortcutManager.prototype.remove_shortcut = function (shortcut) {
204 ShortcutManager.prototype.remove_shortcut = function (shortcut, suppress_help_update) {
205 shortcut = normalize_shortcut(shortcut);
205 shortcut = normalize_shortcut(shortcut);
206 delete this._counts[shortcut];
206 delete this._counts[shortcut];
207 delete this._shortcuts[shortcut];
207 delete this._shortcuts[shortcut];
208 // update the keyboard shortcuts notebook help
209 IPython.quick_help = new IPython.QuickHelp();
210 if (!suppress_help_update) {
211 // update the keyboard shortcuts notebook help
212 IPython.quick_help = new IPython.QuickHelp();
213 }
208 }
214 }
209
215
210 ShortcutManager.prototype.count_handler = function (shortcut, event, data) {
216 ShortcutManager.prototype.count_handler = function (shortcut, event, data) {
General Comments 0
You need to be logged in to leave comments. Login now