I know that @replying to more than one user in a comment is not allowed as explained in this answer. I've always hated that and thought that there are valid use-cases for mentioning two users in one comment but I also know that requests to remove this restriction have been shut down over the years*. So, that's not what I'm requesting here.
In a lot of situations, I need to type some user's name in a comment for reasons other than having them notified. For example:
Hey @User1, please do X and also consider Y as per User2's suggestion if you want Z.
Now, because I mentioned
@User1, the autocomplete stops working for User2 even if preceded by an
@. To type User2's name, I'm stuck with one of the following options:
Type it manually
Should be pretty simple. However, in many situations, it's not. Some usernames are long and complicated, possibly with non-ASCII characters, or the name is just not familiar and (if you don't like getting names wrong like me,) you have to be extra careful.
Copy and paste it
Again, simple in theory but one has to use the mouse and cannot even double click to select the name because it's a hyperlink.
Use a workaround
A workaround that I've been using is to press Ctrl+Home then Del to delete the first
@, jump to End to type the second user's name, then back to the beginning to restore the
@. Believe it or not, this is faster than the previous two options in many cases. Still not ideal though.
If you're not going to allow us to mention (@reply to) multiple users in one comment, can you at least enable autocomplete for the second (and above)
@'s and automatically convert
User2 when the Tab button is pressed (so that the comment only contains one
* Surprisingly, I couldn't find any of those posts at the moment but I didn't do a lot of research anyway because it's not exactly relevant.