styles/mswindowsXP.style
changeset 3722 61a5935d6c3e
parent 3720 746e0a7b1475
child 3725 ecbc42849fea
--- a/styles/mswindowsXP.style	Thu Sep 05 18:24:32 2002 +0200
+++ b/styles/mswindowsXP.style	Thu Sep 05 19:20:08 2002 +0200
@@ -1,6 +1,6 @@
 ; View defaultStyle:#mswindowsXP 
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindowsXP.style,v 1.1 2002-09-05 16:16:34 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindowsXP.style,v 1.2 2002-09-05 17:20:08 cg Exp $
 
 name                            #winXP 
 
@@ -22,6 +22,8 @@
 #endif
 
 menu.enteredLevel               0
+;; enable this, when old menuView cares for it also
+;; menu.itemMargin                 1
 menu.selectionFollowsMouse      true 
 menu.enteredBackgroundColor     =menu.hilightBackgroundColor
 menu.enteredForegroundColor     =menu.hilightForegroundColor