pgtk_handle_selection_event 4137 src/keyboard.c 	  pgtk_handle_selection_event (&copy);
pgtk_handle_selection_event 4515 src/keyboard.c 	  pgtk_handle_selection_event (&copy);
pgtk_handle_selection_event  541 src/pgtkterm.h extern void pgtk_handle_selection_event (struct selection_input_event *);