Source position: gtkselection.inc line 85
function gtk_selection_property_notify(
widget: PGtkWidget;
event: PGdkEventProperty
):gboolean;