Source position: gdkdisplay.inc line 77
procedure gdk_display_put_event(
display: PGdkDisplay;
event: PGdkEvent
);