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. ]