Adding post editing and creating capability to Editor role

Hi - I have set a user up as an Editor but the Posts link does not appear in his dashboard.

I have tried using a plugin to add the capabilities (User Role Editor) and it looks like everything to do with posts is checked.

I've also tried adding code direct to the child theme functions.php:
$role = get_role('editor');
$role->add_cap('edit_posts');
$role->add_cap('edit_others_posts');
$role->add_cap('edit_published_posts');
$role->add_cap('publish_posts');
$role->remove_cap('delete_published_pages');
$role->remove_cap('publish_pages');

The site is http://www.brokenbog.com - any help gratefully received, as he is not able to add stuff to his blog.

Thanks