Don't highlight mention when it's prepended by a dot

[rakoo]

There is/was a convention that prepending a dot (.) before the @ makes the target user not mentioned. This is useful when you're using DMs for example and you want to talk about a third-party but don't want the third-party to get the message: putting the dot before doesn't send it to them.

[rakoo]

This is probably the shortest PR I'll make in my life.

[filipesmedeiros]

@rakoo do you know if this is documented anywhere? I feel like it should. I agree with the feature! But don't know if it should be shipped without any UI tip/feedback about it.

[rakoo]

I totally agree with you but haven't seen any doc anywhere and that's absolutely lacking. Maybe it even works like that for Mastodon because of a bug that might be "fixed" later on haha

[filipesmedeiros]

What do you think @cheeaun? Would a UI tip be welcome?

[cheeaun]

@rakoo @filipesmedeiros I'm not aware of such convention. I've just tried this on one of my test accounts, turns out the mention prepended by a dot works (it gets converted into a mention by Mastodon), so I might need to revert this change 😅 I'm not sure if this differs in non-Mastodon servers.

The only similar convention I know (from old Twitter days) is that prepending dot in beginning of a post e.g.:

.@someone test

…will show posts in all your followers' timelines. Without the dot, it'll only show on your own timeline and @someone's timeline.

[filipesmedeiros]

I think it's fairly easy to cover the use case of the issue, @rakoo. Just search for the username, but then delete the initial "@". So have "name@server.com". That won't mention, right?