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 |