# 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