w32_delete_terminal 7496 src/w32term.c  static void w32_delete_terminal (struct terminal *term);
w32_delete_terminal 7552 src/w32term.c    terminal->delete_terminal_hook = w32_delete_terminal;