>>947
だからテンキーのどれかに割り当てて
WindowsのScancodeMapでそいつをF13に変えればいいんでは?