changeset 715 | 529ebe47d1e9 |
parent 641 | cb95749aba2e |
child 722 | 6683c15ca559 |
--- a/display.rc Thu Sep 21 09:52:57 2006 +0200 +++ b/display.rc Thu Sep 21 16:42:57 2006 +0200 @@ -485,12 +485,10 @@ |type wm style| View defaultStyle isNil ifTrue:[ - style := #mswindows95. + style := #mswindowsXP. type := OperatingSystem getSystemType. type = 'sunos' ifTrue:[ - "/ CG: now obsolete; use windows-style here - "/ View defaultStyle:#openwin - style := #mswindows95 + style := #mswindowsXP ]. type = 'next' ifTrue:[ style := #next