pgtk_set_event_handler 1545 src/pgtkfns.c    pgtk_set_event_handler (f);
pgtk_set_event_handler 2807 src/pgtkfns.c    pgtk_set_event_handler (f);
pgtk_set_event_handler  998 src/pgtkterm.c 	  pgtk_set_event_handler (f);
pgtk_set_event_handler  570 src/pgtkterm.h extern void pgtk_set_event_handler (struct frame *);