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