pgtk_handle_selection_notify 6660 src/pgtkterm.c     pgtk_handle_selection_notify (&event->selection);
pgtk_handle_selection_notify  544 src/pgtkterm.h extern void pgtk_handle_selection_notify (GdkEventSelection *);