delete_terminal  6961 src/pgtkterm.c         delete_terminal (t);
delete_terminal  4634 src/term.c       delete_terminal (terminal);
delete_terminal   950 src/termhooks.h extern void delete_terminal (struct terminal *);
delete_terminal   397 src/terminal.c     delete_terminal (t);
delete_terminal   650 src/terminal.c   delete_terminal (terminal);
delete_terminal  31327 src/xterm.c            delete_terminal (t);