pgtk_destroy_window 4798 src/pgtkterm.c terminal->delete_frame_hook = pgtk_destroy_window; pgtk_destroy_window 576 src/pgtkterm.h extern void pgtk_destroy_window (struct frame *);