##// END OF EJS Templates
Minor fixes to the menu shortcuts.
Brian Granger -
Show More
@@ -159,7 +159,7 b' var IPython = (function (IPython) {'
159 return false;
159 return false;
160 } else if (event.which === 72 && that.control_key_active) {
160 } else if (event.which === 72 && that.control_key_active) {
161 // Show keyboard shortcuts = h
161 // Show keyboard shortcuts = h
162 that.toggle_keyboard_shortcuts();
162 IPython.quick_help.show_keyboard_shortcuts();
163 that.control_key_active = false;
163 that.control_key_active = false;
164 return false;
164 return false;
165 } else if (that.control_key_active) {
165 } else if (that.control_key_active) {
@@ -188,7 +188,7 b''
188 <li id="restart_kernel">
188 <li id="restart_kernel">
189 <div>
189 <div>
190 <span class="wijmo-wijmenu-text">Restart</span>
190 <span class="wijmo-wijmenu-text">Restart</span>
191 <span class="wijmo-wijmenu-icon-right">Ctrl+m s</span>
191 <span class="wijmo-wijmenu-icon-right">Ctrl+m .</span>
192 </div>
192 </div>
193 </li>
193 </li>
194 </ul>
194 </ul>
General Comments 0
You need to be logged in to leave comments. Login now