Source position: gtkwidget.pp line 342
function gtk_widget_event(
widget: PGtkWidget;
event: PGdkEvent
):gint;