(init_display) [HAVE_NTGUI]: Use w32 for window-system.
authorGeoff Voelker <voelker@cs.washington.edu>
Tue, 19 Nov 1996 06:49:05 +0000 (06:49 +0000)
committerGeoff Voelker <voelker@cs.washington.edu>
Tue, 19 Nov 1996 06:49:05 +0000 (06:49 +0000)
src/dispnew.c

index a046bdc..2acb297 100644 (file)
@@ -2491,7 +2491,7 @@ init_display ()
 #ifdef HAVE_NTGUI
   if (!inhibit_window_system) 
     {
-      Vwindow_system = intern ("win32");
+      Vwindow_system = intern ("w32");
       Vwindow_system_version = make_number (1);
       return;
     }