Docs for gdk_display_put_event disagree with implementation
The docs for gdk_display_put_event say the event will be appended "onto the front of the event queue" but the implementation seems to put the event at the end of the queue: https://gitlab.gnome.org/GNOME/gtk/-/blob/main/gdk/gdkdisplay.c#L484
This disagreement causes problems for systems like webkit, which want to asynchronously decide on whether to stop the event or continue propagation (https://github.com/WebKit/WebKit/pull/8663). This appears to come up for other systems too: #1208 (closed) (though in this case it looks like it's more about wanting to transform events than just purely delay the propagation decision).
The function is now marked as deprecated, so I'm also curious if there are any plans to better support this use case (decide whether to propagate or not based on an async function).