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