This is split from issue #5. The code currently displays users by their name (discord ID) rather than their display_name (discord ID or server nickname if they have one). I believe fixing it will be as simple as using the User.display_name rather than the User.name field. The only potential hangup here would be regarding direct messages, where the display_name technically is the same as the name (since it is tied to a server). However, I think that the way the code is retrieving the User will be in the correct context, so the display_name ought to be filled in from the server Secret Hitler is running on. Will need to test and verify. If not, the code will need to change to retrieve the display_name from the User on the server, which should be doable.
This is split from issue #5. The code currently displays users by their name (discord ID) rather than their display_name (discord ID or server nickname if they have one). I believe fixing it will be as simple as using the User.display_name rather than the User.name field. The only potential hangup here would be regarding direct messages, where the display_name technically is the same as the name (since it is tied to a server). However, I think that the way the code is retrieving the User will be in the correct context, so the display_name ought to be filled in from the server Secret Hitler is running on. Will need to test and verify. If not, the code will need to change to retrieve the display_name from the User on the server, which should be doable.