# HG changeset patch # User Claus Gittinger # Date 950691562 -3600 # Node ID 73f656cea4574998944cd887b35c87ce7ea7488b # Parent 811686e8acab76bfdaf26261dc4e1ad4758e2d63 *** empty log message *** diff -r 811686e8acab -r 73f656cea457 MenuEditor.st --- 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" ! !