The Hotkeys Panel - MacOS X interface