src/vs/base/common/event.ts/EventDeliveryQueue/push
class EventDeliveryQueue:	push<T>(emitter: Emitter<T>, listener: Listener<T>, event: T): void {
		this._queue.push(new EventDeliveryQueueElement(emitter, listener, event));
	}