(one_and_only_w32cons): Remove.

(initialize_w32_display): Take terminal argument.

diff --git a/src/w32console.c b/src/w32console.c
index d5056217bf230d3d92f9d87284207a856201ed13..a07d6e19d8fe2505958e71547d69d25547e49eca 100644 (file)
--- a/src/w32console.c
+++ b/src/w32console.c
@@ -534,15 +534,10 @@ vga_stdcolor_name (int idx)
 
 typedef int (*term_hook) ();
 
-/* TEMPORARY HACK to get w32console compiling. To support multiple consoles,
-   this needs to go! */
-struct terminal one_and_only_w32cons;
-
 void
-initialize_w32_display (void)
+initialize_w32_display (struct terminal *term)
 {
   CONSOLE_SCREEN_BUFFER_INFO   info;
-  struct terminal *term = &one_and_only_w32cons;
 
   term->cursor_to_hook         = w32con_move_cursor;
   term->raw_cursor_to_hook             = w32con_move_cursor;