delete_initial_terminal   43 src/terminal.c static void delete_initial_terminal (struct terminal *);
delete_initial_terminal  633 src/terminal.c   initial_terminal->delete_terminal_hook = &delete_initial_terminal;