Add DeadEvent #9

Merged

kske merged 2 commits from f/dead-event into develop 2021-02-21 09:16:33 +01:00

Conversation 0 Commits 2 Files Changed 5 +115 -17

2 Commits

Author	SHA1	Message	Date
Kai S. K. Engelbart	b2fe3a9d6c	Log unhandled dead events	2021-02-20 22:10:48 +01:00
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