|
core-settings
|
add toggler to boolean menu items
|
2023-06-02 12:41:27 -05:00 |
|
design-options
|
make it look like Joost's version
|
2023-06-03 11:31:40 -05:00 |
|
shared
|
deepscan fix
|
2023-06-03 11:41:05 -05:00 |
|
test-design-options
|
one more lint fix
|
2023-06-02 12:39:55 -05:00 |
|
ui-settings
|
cleanup after cherry-pick
|
2023-06-02 13:07:43 -05:00 |
