Open mgohde opened 5 years ago
User mentions are of the form <@userid>, so the following addition to the User class would likely do the trick:
string getMention() { return format("<@%s>", id); }
This is just a nice feature present in discord.py that doesn't really warrant a pull request.
User mentions are of the form <@userid>, so the following addition to the User class would likely do the trick:
string getMention() { return format("<@%s>", id); }This is just a nice feature present in discord.py that doesn't really warrant a pull request.