Allow editors to edit menus with WordPress user roles

Add the following lines to your themes functions.php

$role_object = get_role('editor');
$role_object->add_cap('edit_theme_options');