fix #3877: hide menu items instead of disabling them

We probably need to do further rework on the menus, but this fixes at
least the style guideline issue.