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);