display.rc
changeset 629 5bc9713a1705
parent 616 c1fccd660137
child 631 e68948144e21
equal deleted inserted replaced
628:1b8092f9c3d2 629:5bc9713a1705
   491 	style := #iris
   491 	style := #iris
   492     ].
   492     ].
   493     type = 'os2' ifTrue:[
   493     type = 'os2' ifTrue:[
   494 	style := #os2
   494 	style := #os2
   495     ].
   495     ].
       
   496     type = 'win32' ifTrue:[
       
   497 	(OperatingSystem getSystemInfo at:#'system') = 'xp' ifTrue:[
       
   498 	    style := #mswindowsXP
       
   499 	]
       
   500     ].
   496     View defaultStyle:style.
   501     View defaultStyle:style.
   497     'display.rc [info]: no style set - default to ' infoPrint. style infoPrintCR.
   502     'display.rc [info]: no style set - default to ' infoPrint. style infoPrintCR.
   498 ]
   503 ]
   499 !
   504 !