search

Tosmino / Tosmini-Public

The public form of a private repo (no bot keys!! :D)
0 stars 0 forks source link

Fix how discord user names are displayed #3

Open Tosmino opened 3 weeks ago

Tosmino commented 3 weeks ago

This feature was added before discord swapped over to having unique @usernames vs having tags such as ex: 'Tosmino#1352'. Now all users when mentioned by name are described as ex: 'Tosmino#0' when it's preferred they would just be referred to as 'Tosmino'. This should be pretty easy to do by either using a different variable or by parsing the last two characters from the end of the name (the second option is a little more taxing/tedious, but will get the job done)

Tosmino commented 3 weeks ago

After a little investigation, it looks like this variable can be used as a substitution: interaction.user.mention