Source position: gtkmain.inc line 121
procedure gtk_propagate_event(
widget: PGtkWidget;
event: PGdkEvent
);