diff options
| author | Tre <ThomasMonroe@protonmail.com> | 2018-02-19 01:25:57 -0600 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-02-19 08:25:57 +0100 |
| commit | 5ef9056e89855660d93c4e8d98a7dbc349c1a7eb (patch) | |
| tree | 996d635f82846fec0548819eaffda49dc72c8718 /src/player.h | |
| parent | 4bb41a19dc74fa31cb021dc3b5622814d67fbd6f (diff) | |
| download | minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.tar.gz minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.tar.bz2 minetest-5ef9056e89855660d93c4e8d98a7dbc349c1a7eb.zip | |
Add a refresh button to the serverlist (#6957)
* add refresh button
* Make search and refresh buttons smaller
* Change to image button
Diffstat (limited to 'src/player.h')
0 files changed, 0 insertions, 0 deletions