Support hiding server part of username in message scrollback

[primalmotion]

Hey! thanks for the client! looks super promising (though I will wait for notification support to daily drive it :) )

Would it be possible to add an option to only show the username without the server in the message view? (like @user instead of @user:with-super-long-annoying-server-name.io)

[benjajaja]

I have some users that have usernames like @bot_32934879:bridge.com but with readable display-names like John Smith. It would be nice if we could chose what to display, in addition to hiding the server part, also showing only the display-name. So far I've gotten around this by using the "users" config option to set some aliases, but the aliases don't not get used e.g. for @^P completion.

And maybe in the future, only hiding the server part if it matches the room's server, or your own username's server part.

[ulyssa]

I've added a new "username_display" setting, which can be set to "username", "localpart", or "displayname". There seems to be some unfortunate interaction between the member lazy loading I added in #62 and showing display names. I'm not sure how I want to resolve that yet, so I've left the default value as "username" for the time being until I can determine how to fix this.