Source position: gtkselection.inc line 84
function gtk_selection_notify(
widget: PGtkWidget;
event: PGdkEventSelection
):gboolean;