pgtk_selection_event 6465 src/pgtkterm.c static gboolean pgtk_selection_event (GtkWidget *, GdkEvent *, gpointer);
pgtk_selection_event 6529 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6531 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6533 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6535 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);