23 Commits

Author	SHA1	Message	Date
Jayefuu	a6e64743ac	Update redmew_settings.lua	2020-12-27 07:42:02 +00:00
James Gillham	762d31d465	Gui fixes	2020-11-24 17:44:31 +00:00
James Gillham	aaa87601f9	change close buttons	2020-10-04 21:12:32 +01:00
James Gillham	b2cd925d3a	Update gui styles for 0.18.27	2020-05-26 17:35:14 +01:00
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