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.