red-001 0e0c824ea7 Rework escape/pause menu (#5719)
* Rework escape/pause menu

- Remove build information
- Use current controls instead of default controls
- Add information about the current server in place of the build information
- Add text saying the game is paused to if in singleplayer mode.
rework pause/escape menu

* improve consistency + display server_name
2017-05-11 10:39:37 +02:00
..
2016-08-10 16:59:32 +02:00
2016-03-07 16:33:20 -05:00
2016-03-15 05:55:49 +01:00
2015-02-21 14:03:27 +01:00
2015-08-23 22:04:06 -04:00
2013-02-24 20:15:24 +01:00
2017-05-06 16:10:03 -04:00
2015-02-21 14:03:27 +01:00
2016-03-19 21:27:57 -04:00
2017-05-11 10:39:37 +02:00
2017-04-28 14:43:18 -04:00