8 Commits (abc1951d485ae493778e16eb8984c3a7a595f741)

Author	SHA1	Message	Date
Martin Boonk	fa35629f45	wid_edit - Allow setting all areas	2022-11-06 19:45:32 +01:00
Martin Boonk	53661fd11c	wid_edit - Adds back functions as option	2022-11-06 19:24:28 +01:00
Martin Boonk	9f17ea5c98	wid_edit - Access global variables explicitly	2022-11-06 19:24:28 +01:00
Richard de Boer	e8de7aa662	wid_edit: "highlight" hidden widgets when editing	2022-01-17 21:39:04 +01:00
Richard de Boer	d5a14cacbd	wid_edit: clean up removed widgets in settings app instead ... to keep boot code as small as possible	2022-01-17 21:02:44 +01:00
Richard de Boer	9a8ccf0f4f	wid_edit: sort widgets with same sortorder by name ... (assuming Array.sort() is stable)	2022-01-17 20:54:34 +01:00
Richard de Boer	66120e31e4	wid_edit: only allow top row, don't "disable" widgets	2022-01-17 20:54:33 +01:00
Richard de Boer	0be14efaec	wid_edit: Widget Editor	2022-01-17 19:00:41 +01:00