##// END OF EJS Templates
check that a handler is actually registered in ShortcutManager.handles...
check that a handler is actually registered in ShortcutManager.handles there are a few shortcuts that do not specify handlers (just for quick help contents), and this was preventing the actual events from ever firing.
MinRK -
r16026:c8db6cd6
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook
css
js
less