Fix hotkeys

This works on windows with both wxWidgets-2.8 and wxWidgets-3.0;
hopefully on the other platforms as well.