styles/mswindows3.style
changeset 1959 d5ec4b54e970
parent 1951 5290a36652db
child 2100 776dd0170dc1
--- a/styles/mswindows3.style	Thu Nov 20 19:42:44 1997 +0100
+++ b/styles/mswindows3.style	Thu Nov 20 19:46:45 1997 +0100
@@ -1,6 +1,6 @@
 ; View defaultStyle:#win95 
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows3.style,v 1.24 1997-11-03 16:43:03 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows3.style,v 1.25 1997-11-20 18:46:38 cg Exp $
 
 comment  'win95 lookalike - unfinished'
 
@@ -71,9 +71,6 @@
 
 pullDownMenu.separatingLines             false
 pullDownMenu.level                       0
-pullDownMenu.keepMenu                 true
-; pullDownMenu.keepMenu                    true
-pullDownMenu.toggleKeep                  true
 
 selection.hilightForegroundColor         Color white
 #if Display hasGrayscales