Source position: gtkwidget.inc line 416
procedure gtk_widget_set_extension_events(
widget: PGtkWidget;
mode: TGdkExtensionMode
);