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