Editor role permissions

Hello.

Editor’s cannot edit Boxzilla boxes. Have used ‘User Role Editor’ to assign the following permissions:
delete_box, edit_boxes, edit_other_boxes, publish_boxes, read_private_box

Then the editor can see the ‘Boxzilla’ menu option, the listing of the boxes loads but only ‘delete’ is an option, not edit.

Editor can add new, just seems they cannot editor another users’ box, even though the ‘edit_other_boxes’ role is granted?

Thanks,

Ian.