Kai S. K. Engelbart 0036dc4829 Add DeadEvent ... A dead events wraps an event that was dispatched but not delivered to any handler. The dead event is than dispatched to dedicated handlers.		2021-02-19 16:05:11 +01:00
..
core	Add DeadEvent	2021-02-19 16:05:11 +01:00