more kinds of menu_event are handled directly in the menu-code now.