19 Commits

Author	SHA1	Message	Date
grilledham	9f08bf6f88	refactor -> close_main_frame	2019-06-21 10:56:37 +01:00
grilledham	fa2a62337a	highlight top buttons	2019-06-20 12:39:18 +01:00
Lynn	fdee00dc06	Translate whois data	2019-06-01 13:41:12 +02:00
Lynn	1cd19c69e7	Replaced command for player and chat colors	2019-05-30 18:55:41 +02:00
Lynn	a0e4021d4a	Added a sync message to the settings GUI	2019-05-28 16:49:59 +02:00
Lynn	55eead174d	setting set should not nest the setting in the event	2019-05-27 16:01:48 +02:00
Lynn	ecd4e73e3d	Directly update settings fields when displayed	2019-05-27 13:50:37 +02:00
Lynn	22b6f587d2	Added a sync back towards the local state	2019-05-26 19:25:46 +02:00
Lynn	f4872717e2	Settings are now synced via Setting.set instead	2019-05-26 18:14:25 +02:00
Lynn	f93a3714a6	Between joining and syncing settings, can't use button	2019-05-26 14:56:41 +02:00
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