Source position: gtkselection.pp line 50
function gtk_selection_property_notify(
widget: PGtkWidget;
event: PGdkEventProperty
):gint;