display.rc
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