Source position: gtkselection.pp line 49
function gtk_selection_notify(
widget: PGtkWidget;
event: PGdkEventSelection
):gint;