Martin Boonk
|
0c75133350
|
wid_edit - Bump version
|
2022-11-06 19:45:32 +01:00 |
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 |
Martin Boonk
|
3462b36f9c
|
wid_edit - Wrap loadWidgets instead of replacing it
|
2022-11-06 13:20:26 +01:00 |
Adam Schmalhofer
|
1c8d7d757c
|
Merge branch 'master' into jekyll-apps.json
|
2022-01-18 15:16:49 +01:00 |
Richard de Boer
|
e8de7aa662
|
wid_edit: "highlight" hidden widgets when editing
|
2022-01-17 21:39:04 +01:00 |
Richard de Boer
|
d28f2c6236
|
wid_edit: shrink boot code a bit
|
2022-01-17 21:18:02 +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
|
80a1513030
|
wid_edit: clean up removed widgets from settings file on boot
|
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 |