Editor embedded game window: unless game captures F5 input, let it restart game

[hsandt]

I like the new embedded game window, it allows me to stay in the main editor window, modify values, and sometimes restart the game.

Except pressing F5 seems capture by the game, so I need to click outside the game view to press F5 and finally restart it.

Oddly enough, F8 works to stop the game (even if game uses that input in default mapping). So right now I must press F8 then F5 to restart the game.

Could we make F5 work the same and restart game from within the editor?

And to avoid conflicts with actual game input, Godot could check if F5 is actually mapped to something, or there could be a manual option to decide whether we want the editor to take over Start/Stop input.

Even without this, individual developers could always decide to use a different key for Start/Stop that are not used in-game, if that's an issue.