pgtk_selection_event 6468 src/pgtkterm.c static gboolean pgtk_selection_event (GtkWidget *, GdkEvent *, gpointer);
pgtk_selection_event 6532 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6534 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6536 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);
pgtk_selection_event 6538 src/pgtkterm.c 		    G_CALLBACK (pgtk_selection_event), NULL);