delete_terminal  6964 src/pgtkterm.c         delete_terminal (t);
delete_terminal  4634 src/term.c       delete_terminal (terminal);
delete_terminal   956 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  31521 src/xterm.c            delete_terminal (t);