Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | gui: Fix pick-widget. | David Thompson | 2021-05-03 | 1 | -3/+3 |
* | gui: Add enabled? flag to <widget>. | David Thompson | 2021-05-03 | 1 | -1/+4 |
* | gui: Don't pick widgets that aren't visible. | David Thompson | 2021-04-22 | 1 | -1/+3 |
* | gui: Export apply-theme. | David Thompson | 2021-04-17 | 1 | -0/+1 |
* | Add beginnings of a graphical user interface widget module. | David Thompson | 2021-04-16 | 1 | -0/+485 |