| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-06-21 | many, many changes; settings is broken | Benji Dial | -32/+7 |
| 2021-03-11 | settings editor, and lots of changes in service of that | Benji Dial | -3/+3 |
| 2021-03-08 | resizable widgets, default widget implementation for some functions, reimplem... | Benji Dial | -0/+51 |