I can address a comment to the author of a post, or to a user who has commented on the post, but unless I'm missing something there is no way to address a comment to a user who has edited without commenting, so that said editor will be notified. Should there be? (For example, someone edited an answer of mine, adding some useful information, and I wanted to ask him/her about where he/she found the information.)
You can use the
@username syntax in a comment on a post to notify:
- someone who previously commented on the post and whose comment isn't deleted;
- someone who edited the post;
- a moderator who close the post, if it's a question (this only applies to moderator close votes, not to ordinary close votes).
This is in addition to the author of the post, who is always notified.
Completion only suggests the names of previous commenters, because that's the usual case. But
@name-of-editor will notify an editor. Copy-paste the name from the revision history if you aren't sure to get it right.