pgtk_handle_selection_event 4071 src/keyboard.c 	  pgtk_handle_selection_event (&copy);
pgtk_handle_selection_event 4449 src/keyboard.c 	  pgtk_handle_selection_event (&copy);
pgtk_handle_selection_event  542 src/pgtkterm.h extern void pgtk_handle_selection_event (struct selection_input_event *);