* Allow public and favorite servers to be merged together in the server list * Annotate favorite servers with an icon and/or a different row color to differentiate the two(public/favorites) * Make public/favorites buttons as a filter; when enabled allow to see the respective public/favorite servers in the listing * Introduce a new button open a submenu that will allow manual addition/editing/removal of current favorite servers * (Optional) Introduce a search bar for servers * (Optional) Port (silently) the current favorite servers to INI to make it easier for maintenance
