changeset 3447 | e82292ff5869 |
parent 3312 | 84084dd13f11 |
child 3448 | e4a15fd6bec5 |
3446:a1b0967ff39d | 3447:e82292ff5869 |
---|---|
712 itemValue: changeLastNameSpace |
712 itemValue: changeLastNameSpace |
713 ) |
713 ) |
714 (MenuItem |
714 (MenuItem |
715 label: 'Set Current Package' |
715 label: 'Set Current Package' |
716 itemValue: changeLastPackage |
716 itemValue: changeLastPackage |
717 isVisible: #false |
717 isVisible: false |
718 ) |
718 ) |
719 (MenuItem |
719 (MenuItem |
720 label: '-' |
720 label: '-' |
721 ) |
721 ) |
722 (MenuItem |
722 (MenuItem |