delete_terminal  6962 src/pgtkterm.c         delete_terminal (t);
delete_terminal  4537 src/term.c       delete_terminal (terminal);
delete_terminal   940 src/termhooks.h extern void delete_terminal (struct terminal *);
delete_terminal   397 src/terminal.c     delete_terminal (t);
delete_terminal   648 src/terminal.c   delete_terminal (terminal);
delete_terminal  30581 src/xterm.c            delete_terminal (t);