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