Source position: gtkwidget.inc line 417
function gtk_widget_get_extension_events(
widget: PGtkWidget
):TGdkExtensionMode;