delete_tty         77 src/term.c     static void delete_tty (struct terminal *);
delete_tty       3976 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       4006 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       4377 src/term.c       terminal->delete_terminal_hook = &delete_tty;
delete_tty       4575 src/term.c         delete_tty (terminal);