Shift function key accelerators down by one (from F5 and up to F4 and up).

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

diff --git a/hooke/ui/gui/menu.py b/hooke/ui/gui/menu.py
index 7ee0b2e9452b1a0916da50301b86bed1c6e4cd78..ebb3a512da6d4f089ea9ef2e414dc5873a5d9a17 100644 (file)
--- a/hooke/ui/gui/menu.py
+++ b/hooke/ui/gui/menu.py
@@ -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()