# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1195616791 0
# Node ID 77b991c8303d25a42d3d58055a42ee096aa272ed
# Parent  a30128391c8bed2d41d01d4e721acd5a604846ad
(init_display) [WINDOWSNT]: Hardcode terminal_type.

diff -r a30128391c8b -r 77b991c8303d src/dispnew.c
--- a/src/dispnew.c	Wed Nov 21 03:46:15 2007 +0000
+++ b/src/dispnew.c	Wed Nov 21 03:46:31 2007 +0000
@@ -6893,8 +6893,12 @@
       exit (1);
     }
 
+#ifdef WINDOWSNT
+  terminal_type = "w32console";
+#else
   /* Look at the TERM variable.  */
   terminal_type = (char *) getenv ("TERM");
+#endif
   if (!terminal_type)
     {
 #ifdef VMS