Resolve #267 by adding an optional entry in the edit server and add server dialogs to set a nickname for the server.
This nickname overrides whatever the server name is set to and displays that instead, if a user wants to see the real server name again then they just have to unset the nickname by editing the server entry to remove it.
Resolve #267 by adding an optional entry in the edit server and add server dialogs to set a nickname for the server.
This nickname overrides whatever the server name is set to and displays that instead, if a user wants to see the real server name again then they just have to unset the nickname by editing the server entry to remove it.