10 commits

Author	SHA1	Message	Date
jvoisin	0cc304e659	Clean up MyGUI includes ... This should improve incremental compilation.	2022-06-04 15:26:36 +02:00
uramer	ef1e72dc17	Revert from settings description to searchHints	2022-02-01 19:50:03 +01:00
uramer	67641dcdb7	Fix compile errors	2022-02-01 19:50:03 +01:00
uramer	086a7d9bc5	Wrap Lua settings widgets into an Adapter widget	2022-02-01 19:50:03 +01:00
uramer	1455aa3e02	Allow changing script settings pages after registering them	2022-02-01 19:50:02 +01:00
uramer	5f7ab49880	Implement script setting pages' descriptions	2022-02-01 19:50:02 +01:00
uramer	a005f25c4b	Use page terminology for script settings	2022-02-01 19:50:02 +01:00
uramer	e78b8402fa	Fix warnings	2022-02-01 19:50:02 +01:00
uramer	a972a54ea9	Allow changing element root widget type, prevent use after free in script settings	2022-02-01 19:50:02 +01:00
uramer	fba82eb1a7	Script settings tab	2022-02-01 19:50:02 +01:00