MenuEditor.st
changeset 1352 73f656cea457
parent 1349 47ccfd0fac75
child 1355 ef6320ea43bc
--- a/MenuEditor.st	Sun Feb 13 14:00:07 2000 +0100
+++ b/MenuEditor.st	Wed Feb 16 09:59:22 2000 +0100
@@ -3420,7 +3420,7 @@
                         ifFalse:[argument]).
     ].
     (aspects at:#isVisible) value:isVisible.
-    (aspects at:#hideMenuOnActivated) value:hideMenuOnActivated.
+    (aspects at:#hideMenuOnActivated) value:(hideMenuOnActivated ? true).
 
     "Modified: / 14.8.1998 / 15:37:29 / cg"
 ! !