Improved some of the server browser's UI (based on #3161 and #3203) and implemented a setting in the client that refreshes the server list when the player disconnects from a server (#1782). Full description of changes are in the commit messages. Screenshots of changes Info tab Filters tab Friends tab Obviously a lot of it is not perfect so I would like some opinions on it. Some of the problems I currently have are:

• grid headers (sort buttons) have a little space in b...