Hi wptit, and thank you for your hint.
I already tried doing so, but being not so wp-savvy, I’m not sure what I should do.
I guess the right section of the document is this one:
edit_others_posts
Since 2.0
Allows access to Administration Panel options:
Manage > Comments (Lets user delete and edit every comment, see edit_posts above)
user can edit other users’ posts through function get_others_drafts()
user can see other users’ images in inline-uploading [no? see inline-uploading.php]
I’m using a plugin called User role editor to handle all user permissions, and everything seems apparently ok: editors can edit others’ posts.
Do you think I should look into the code (scary!)? What should I look for?
Thanks,
Ale