##// END OF EJS Templates
show_keyboard_shortcuts -> toggle_keyboard_shortcuts...
show_keyboard_shortcuts -> toggle_keyboard_shortcuts Now multiple calls no longer show multiple instances of the shortcut dialog. Rather, clicking the quick help, or invoking `C-m h` will hide the dialog if shown.
MinRK -
r5067:d8d17522
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / pagedown
LICENSE.txt Loading ...
Markdown.Converter.js Loading ...