The Hotkeys Panel - wxWidgets interface