Add an editor input delay after a crash so keys that are held down when the game crashes aren't immediately entered into the editor

[CrispinStichart]

Describe the project you are working on

A game that uses keyboard keys like (WASD) for input.

Describe the problem or limitation you are having in your project

When the game crashes while an input key is held down -- for example, I'm moving right by holding down "d" -- the "d"s immediately start getting entered into the script editor.

Describe the feature / enhancement and how it helps to overcome the problem or limitation

Either a tiny input delay (a half second would be enough) after an application crashes would work. Or even better, if possible, detect when a key was held down before the crash, and ignore it completely until it's released.

Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams

N/A

If this enhancement will not be used often, can it be worked around with a few lines of script?

An editor plugin might be able to implement this, but I'm not sure. I'm new to Godot and don't know what plugins are/aren't capable of.

Is there a reason why this should be core and not an add-on in the asset library?

This is a small quality-of-life improvement that I think everyone will benefit from.

[yosoyfreeman]

In the past i got parts of my code deleted because i had them selected and were substituted by the key i was pressing without me noticing. So even when it's not a a big issue most of the time, when it is it can be really problematic.