display.rc
changeset 629 5bc9713a1705
parent 616 c1fccd660137
child 631 e68948144e21
--- a/display.rc	Wed Sep 22 15:20:49 2004 +0200
+++ b/display.rc	Thu Oct 14 15:05:18 2004 +0200
@@ -493,6 +493,11 @@
     type = 'os2' ifTrue:[
 	style := #os2
     ].
+    type = 'win32' ifTrue:[
+	(OperatingSystem getSystemInfo at:#'system') = 'xp' ifTrue:[
+	    style := #mswindowsXP
+	]
+    ].
     View defaultStyle:style.
     'display.rc [info]: no style set - default to ' infoPrint. style infoPrintCR.
 ]