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" ! !