5 Commits (e272e718419ee5a60918edcfab0303759c2d1873)

Author	SHA1	Message	Date
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