pgtk_delete_terminal 2209 src/pgtkfns.c    pgtk_delete_terminal (dpyinfo->terminal);
pgtk_delete_terminal 4798 src/pgtkterm.c   terminal->delete_terminal_hook = pgtk_delete_terminal;
pgtk_delete_terminal  611 src/pgtkterm.h extern void pgtk_delete_terminal (struct terminal *);