Add menu title hotkeys to the GUI.

[hooke.git] / hooke / ui / gui / menu.py

diff --git a/hooke/ui/gui/menu.py b/hooke/ui/gui/menu.py
index 068e32e625442919e9a7724f13a2bd93b90f8943..7ee0b2e9452b1a0916da50301b86bed1c6e4cd78 100644 (file)
--- a/hooke/ui/gui/menu.py
+++ b/hooke/ui/gui/menu.py
@@ -1,4 +1,20 @@
-# Copyright
+# Copyright (C) 2010 W. Trevor King <wking@drexel.edu>
+#
+# This file is part of Hooke.
+#
+# Hooke is free software: you can redistribute it and/or modify it
+# under the terms of the GNU Lesser General Public License as
+# published by the Free Software Foundation, either version 3 of the
+# License, or (at your option) any later version.
+#
+# Hooke is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General
+# Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public
+# License along with Hooke.  If not, see
+# <http://www.gnu.org/licenses/>.
 
 """Menu bar for Hooke.
 """
@@ -171,9 +187,10 @@ class HookeMenuBar (MenuBar):
         # Attach *Menu() instances
         for key in ['file', 'view', 'perspective', 'help']:
             cap_key = key.capitalize()
+            hot_key = '&' + cap_key
             _class = globals()['%sMenu' % cap_key]
             kwargs = {}
             if key == 'view':
                 kwargs['panels'] = panels
             self._c[key] = _class(parent=self, callbacks=callbacks, **kwargs)
-            self.Append(self._c[key], cap_key)
+            self.Append(self._c[key], hot_key)