Please document how to specify event posting delays

[PinGizmos]

From looking at some of the sample configs, it looks like there is a way to specify a delay in posting events in the event_player.
For example:

event_player:
  some_posted_event:
    event_to_be_posted|100ms

Is this "piping" of a delay time officially supported? If so, can you please add it to the docs?

Thanks

[flamtime]

Researching this for you.

[jabdoa2]

I think this works only in a few places:

• Specifically in event_player. This is logic inside the player.
• This is also implemented device_control_events (https://docs.missionpinball.org/en/dev/config/instructions/device_control_events.html). You can find out in the config reference if something is a device_control_event type. Most xxx_events properties are.

Maybe more places but I don't recall any. I totally agree that the documentation could be better here and this also confused me in the past.

[founfabug]

Just mentioning that this doco could also reference the delay available in actioning events in some devices, such as reset_events: