Source position: gtkwidget.inc line 414
procedure gtk_widget_set_events(
widget: PGtkWidget;
events: gint
);