8 Commits

Author	SHA1	Message	Date
Wuzzy	ad4b13a0e9	Luanti rename: builtin (#15324)	2024-10-28 19:40:18 +01:00
rubenwardy	157d129e30	Fix unnecessary content refreshing (#14705)	2024-06-24 20:56:37 +01:00
Gregor Parzefall	e5a5d5a672	Fix various cases of double-escaped error messages	2023-06-05 11:59:37 +02:00
ROllerozxa	6d163b72dc	Rework main menu confirmation dialogs (#12356)	2022-06-03 21:46:37 +02:00
rubenwardy	9541165752	Add styles to most elements	2019-08-03 19:36:30 +01:00
rubenwardy	ec3795a55c	Add style[] tag with button support	2019-08-03 19:36:30 +01:00
rubenwardy	57517628f0	Fix games not updating on deletion ... As reported by @random-geek	2019-02-18 16:39:28 +00:00
rubenwardy	87ad4d8e7f	Add online content repository ... Replaces mods and texture pack tabs with a single content tab	2018-04-19 20:14:53 +01:00