|
|
eeda385dcf
|
implement (untested) deep-copy Clone on SettingsProvider and friends
|
2022-04-18 23:46:30 -04:00 |
|
|
|
a305f74c48
|
update pre-commit
|
2021-05-07 22:06:03 -04:00 |
|
|
|
7d72b3b0f9
|
provide a way to display custom settings UI in SettingsDialog
|
2021-02-23 23:41:05 -05:00 |
|
