Mention auto-complete order should be displayed like in Discord app

[n4n0GH]

What do you want

Order mention when using the auto-complete function (that is: type @ and cordless brings up the list of possible names to interact with), should work the same as in the official Discord app where the order is specified by which user was active last in the current chat.
Currently the implementation just pulls the complete user list from the server and displays them in alphabetical order.

Why

Some users have untaggable names because they are using either emojis or other untypable unicode characters in their names. Finding those users in the sometimes endlessly long list of users (in my example a discord with over 20K users) is not only cumbersome but sometimes outright impossible.

Implementation hints

The initial auto-complete window could show up the 10 most recent users, whereas beginning to type would bring back the current behaviour.

[Bios-Marcel]

@avahe-kellenberger

🏃‍♂️

[avahe-kellenberger]

I like the idea of showing most recently active users. Just as a tip, the new @mention in cordless uses fuzzy matching, so that may help you with typing usernames with strange starting characters (just type any part of their name, it doesn't need to be the first part of their name).

If @Bios-Marcel approves this feature change I'll implement it.

[Bios-Marcel]

I appprove

[n4n0GH]

fuzzy matching

Completely useless if the user uses UNICODE characters exclusively. Looking forward to the update :3

[Bios-Marcel]

@avahe-kellenberger Any clue when you'll start working on this / have it finished?

[avahe-kellenberger]

Just type the unicode characters /s
I imagine I'll have it done by the end of this weekend, but I'm curious if there are any additional ways we could improve search functionality for odd usernames. Are their discord tags entirely unicode, or just their nick/usernames? Getting some examples would be great.

[n4n0GH]

Yes, in that case their nicknames as well as their usernames consist of untypable unicodes like ∿ or ⚡.
Imo it's something discord should handle by not allowing users to rename their username to that but oh well.

[avahe-kellenberger]

Best duct tape solution I can think of atm is to type the suffix of their username (like #1234) for the time being. I'm still contemplating better fixes to search usernames in general.

[n4n0GH]

Would it be possible to compile a list of "this looks like that" kind of characters maybe? 11. Okt. 2019, 02:06 von notifications@github.com:

…

Best duct tape solution I can think of atm is to type the suffix of their username (like #1234) for the time being. I'm still contemplating better fixes to search usernames in general. — You are receiving this because you authored the thread. Reply to this email directly, > view it on GitHub <#170?email_source=notifications&email_token=AGRD6UCHPLUIY5QCU53ODE3QN67PHA5CNFSM4I6J4POKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEA6KXIA#issuecomment-540847008>> , or > unsubscribe <https://github.com/notifications/unsubscribe-auth/AGRD6UFMUY3HZ5KVNKIB7TDQN67PHANCNFSM4I6J4POA>> .

[Bios-Marcel]

eh ... just fuck those people

we could just allow copying there name from the userlist or chat

[n4n0GH]

Userlist would be okay, chat is already a given function anyway.

[Bios-Marcel]

no, its not. copy wont work with mouse enabled, as it overwrites selection behaviour

[n4n0GH]

Uh. If you Alt+T the chat, put the cursor at the desired user, and hit R it starts a mention, does it not? o_O

[Bios-Marcel]

Riiiight