Source position: gtkmain.pp line 70
procedure gtk_propagate_event(
widget: PGtkWidget;
event: PGdkEvent
);