##// END OF EJS Templates
renamed 'use_shortcut' method to 'handles'
Paul Ivanov -
Show More
@@ -237,7 +237,7 b' IPython.keyboard = (function (IPython) {'
237 return true;
237 return true;
238 }
238 }
239
239
240 ShortcutManager.prototype.use_shortcut = function (event) {
240 ShortcutManager.prototype.handles = function (event) {
241 var shortcut = event_to_shortcut(event);
241 var shortcut = event_to_shortcut(event);
242 var data = this._shortcuts[shortcut];
242 var data = this._shortcuts[shortcut];
243 return !( data === undefined )
243 return !( data === undefined )
@@ -173,7 +173,7 b' var IPython = (function (IPython) {'
173
173
174 // if this is an edit_shortcuts shortcut, the global keyboard/shortcut
174 // if this is an edit_shortcuts shortcut, the global keyboard/shortcut
175 // manager will handle it
175 // manager will handle it
176 if (shortcuts.use_shortcut(event)) { return true; }
176 if (shortcuts.handles(event)) { return true; }
177
177
178 return false;
178 return false;
179 };
179 };
General Comments 0
You need to be logged in to leave comments. Login now