[0.17.37] (Un)favoriting server only works if not highlighted

[Impatient]

Steps to reproduce:

1. Go to Play>Multiplayer>Browse public games
2. Highlight a sever (does not matter if it is a favorited one or not)
3. Click on the factorio gear to the left to favorite/unfavorite it.

Result: It does not get favorited/unfavorited

4. Click on the facotio gear of a server that is not highlighted.

Result: It gets favorited/unfavorited

[Rseding91]

Thanks for the report. It's now fixed for the next version of 0.17.