adds behavior from issue #752
Merge pull request #804 from codalab/feature/752-menu-improvements

Menu improvements