>>708
ありがとうございます！
ずっとWindows（又はDirectX）の機能だと思ってました…
Alt+Enterがよく使われているだけで、別にどのキーに割り振ってもいいんですね。