Clarify: If we are already on the UI thread, the event is dispatched immediately; otherwise, it is queued on the UI event queue.