Minor fixes to the menu shortcuts.

pull/37/head
Brian Granger 14 years ago committed by MinRK
parent be8f252e78
commit b3de72087c

@ -159,7 +159,7 @@ var IPython = (function (IPython) {
return false;
} else if (event.which === 72 && that.control_key_active) {
// Show keyboard shortcuts = h
that.toggle_keyboard_shortcuts();
IPython.quick_help.show_keyboard_shortcuts();
that.control_key_active = false;
return false;
} else if (that.control_key_active) {

@ -188,7 +188,7 @@
<li id="restart_kernel">
<div>
<span class="wijmo-wijmenu-text">Restart</span>
<span class="wijmo-wijmenu-icon-right">Ctrl+m s</span>
<span class="wijmo-wijmenu-icon-right">Ctrl+m .</span>
</div>
</li>
</ul>

Loading…
Cancel
Save