9 Commits

Author	SHA1	Message	Date
Lynn	732941a642	Ensure window is closed when a player rejoins	2019-05-26 14:44:18 +02:00
Lynn	66d1f8e442	Use the timeout mechanism for server config	2019-05-26 13:51:46 +02:00
Lynn	3281d580f5	menu_item_tooltip -> tooltip for consistency	2019-05-26 13:43:38 +02:00
Lynn	36d22f052f	Using game.get_player instead of game.players	2019-05-26 13:42:11 +02:00
Lynn	0950a4e13b	Fixed incorrect merges and 0.17.x changes	2019-05-26 13:42:11 +02:00
Lynn	bc38c23a3a	Review feedback processed	2019-05-26 13:42:11 +02:00
plague006	ed8c3a1453	Detect server	2019-05-26 13:42:10 +02:00
plague006	e395f0c6d7	Minor locale cleanup	2019-05-26 13:42:10 +02:00
Lynn	ac9c25ac6e	Replaced settings commands with a GUI	2019-05-26 13:42:09 +02:00