display.rc
changeset 213 ff75059590f4
parent 212 df657c69a60f
child 214 01ed852ca742
--- a/display.rc	Mon Apr 28 22:48:17 1997 +0200
+++ b/display.rc	Mon Apr 28 22:50:15 1997 +0200
@@ -382,8 +382,9 @@
 	View defaultStyle:#'os2' 
     ].
     (type = 'mswindows' 
+    or:[type = 'win32'
     or:[type = 'nt'
-    or:[type = 'win95']]) ifTrue:[
+    or:[type = 'win95']]]) ifTrue:[
 	View defaultStyle:#'mswindows' 
     ].
     View defaultStyle isNil ifTrue:[