display.rc
changeset 214 01ed852ca742
parent 213 ff75059590f4
child 215 90776b0fc55b
--- a/display.rc	Mon Apr 28 22:50:15 1997 +0200
+++ b/display.rc	Wed Apr 30 16:32:39 1997 +0200
@@ -381,11 +381,13 @@
     type = 'os2' ifTrue:[
 	View defaultStyle:#'os2' 
     ].
-    (type = 'mswindows' 
-    or:[type = 'win32'
-    or:[type = 'nt'
-    or:[type = 'win95']]]) ifTrue:[
-	View defaultStyle:#'mswindows' 
+    (type = 'win32') ifTrue:[
+	(Number fromString:((OperatingSystem getSystemInfo) at:#release) onError:0)
+	>= 4.0 ifTrue:[
+	    View defaultStyle:#'mswindows3' 
+	] ifFalse:[
+	    View defaultStyle:#'mswindows' 
+	]
     ].
     View defaultStyle isNil ifTrue:[
 	Display hasGreyscales ifTrue:[