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)
commitf4b8cd61cceb3e0094ce8e2ff580d91493c799bb
tree6725dfe577950c6b44edd441bce4869e65baf2b5
parent5d63af7daea58680d6eba5237d09786e58818c0b
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
hooke/ui/gui/menu.py