From ee6f5a362d6aff3f6a05ce0f0ae0113ada2634e5 2012-01-18 02:27:47
From: Brian Granger <ellisonbg@gmail.com>
Date: 2012-01-18 02:27:47
Subject: [PATCH] Minor fixes to the menu shortcuts.

---

diff --git a/IPython/frontend/html/notebook/static/js/notebook.js b/IPython/frontend/html/notebook/static/js/notebook.js
index 5684f89..a080fa1 100644
--- a/IPython/frontend/html/notebook/static/js/notebook.js
+++ b/IPython/frontend/html/notebook/static/js/notebook.js
@@ -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) {
diff --git a/IPython/frontend/html/notebook/templates/notebook.html b/IPython/frontend/html/notebook/templates/notebook.html
index e20ee4a..fea6c1f 100644
--- a/IPython/frontend/html/notebook/templates/notebook.html
+++ b/IPython/frontend/html/notebook/templates/notebook.html
@@ -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>