replacing jquery-hotkeys with mousetrap