pgtk_delete_terminal 2202 src/pgtkfns.c    pgtk_delete_terminal (dpyinfo->terminal);
pgtk_delete_terminal 4799 src/pgtkterm.c   terminal->delete_terminal_hook = pgtk_delete_terminal;
pgtk_delete_terminal  609 src/pgtkterm.h extern void pgtk_delete_terminal (struct terminal *);