Source position: gtkwidget.pp line 363
function gtk_widget_get_extension_events(
widget: PGtkWidget
):TGdkExtensionMode;