##// END OF EJS Templates
Merge pull request #5451 from minrk/comment-shortcut...
Paul Ivanov -
r16027:0ca3a76b merge
parent child Browse files
Show More
@@ -252,7 +252,7 IPython.keyboard = (function (IPython) {
252 ShortcutManager.prototype.handles = function (event) {
252 ShortcutManager.prototype.handles = function (event) {
253 var shortcut = event_to_shortcut(event);
253 var shortcut = event_to_shortcut(event);
254 var data = this._shortcuts[shortcut];
254 var data = this._shortcuts[shortcut];
255 return !( data === undefined )
255 return !( data === undefined || data.handler === undefined )
256 }
256 }
257
257
258 return {
258 return {
General Comments 0
You need to be logged in to leave comments. Login now