display.rc
changeset 1075 36fab0d1d4fc
parent 722 6683c15ca559
child 1110 349db8c686eb
--- a/display.rc	Fri Oct 23 11:05:36 2009 +0200
+++ b/display.rc	Sun Oct 25 02:44:11 2009 +0200
@@ -504,7 +504,10 @@
     type = 'win32' ifTrue:[
 	(OperatingSystem getSystemInfo at:#'system') = 'xp' ifTrue:[
 	    style := #mswindowsXP
-	]
+	].
+	(OperatingSystem getSystemInfo at:#'system') = 'vista' ifTrue:[
+	    style := #mswindowsVista
+	].
     ].
     View defaultStyle:style.
     'display.rc [info]: no style set - default to ' infoPrint. style infoPrintCR.