Tre 5ef9056e89 Add a refresh button to the serverlist (#6957) ...

* add refresh button

* Make search and refresh buttons smaller

* Change to image button

2018-02-19 08:25:57 +01:00

..

pack

Add a refresh button to the serverlist (#6957)

2018-02-19 08:25:57 +01:00