delete_tty         75 src/term.c     static void delete_tty (struct terminal *);
delete_tty       3901 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       3931 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       4288 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       4483 src/term.c         delete_tty (terminal);