Shift function key accelerators down by one (from F5 and up to F4 and up).
authorW. Trevor King <wking@drexel.edu>
Sun, 22 Aug 2010 18:41:24 +0000 (14:41 -0400)
committerW. Trevor King <wking@drexel.edu>
Sun, 22 Aug 2010 18:41:24 +0000 (14:41 -0400)
Despite the stated range of F1 through F12
  http://docs.wxwidgets.org/2.8/wx_wxmenu.html#wxmenuappend
F10 seems to open the &File menu instead of toggling its panel's
visibility.  This is possibly related to
  http://trac.wxwidgets.org/ticket/2404

hooke/ui/gui/menu.py

index 7ee0b2e..ebb3a51 100644 (file)
@@ -101,7 +101,7 @@ class ViewMenu (Menu):
         self._callbacks = callbacks
         self._c = {}
         for i,panelname in enumerate(sorted([p.managed_name for p in panels])):
-            text = '%s\tF%d' % (panelname, i+5)
+            text = '%s\tF%d' % (panelname, i+4)
             self._c[panelname] = self.AppendCheckItem(id=wx.ID_ANY, text=text)
         for item in self._c.values():
             item.Check()