| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | ui: reduce width of gray icon border | 2019-05-13 | 1 | -1/+1 | |
| | | |||||
| * | ui: remove unused icons | 2019-05-13 | 3 | -6/+0 | |
| | | | | | | | These dots were good while they lasted, and I'll be sad to see them go. We can always recover them from git history need be. Next perhaps we'll axe dot-gray.svg? | ||||
| * | ui: use system icons in toolbar | 2019-05-02 | 3 | -6/+0 | |
| | | |||||
| * | ui: render dots with svgs instead | 2019-05-02 | 4 | -0/+8 | |
| | | |||||
| * | ui: use icons instead of unicode font | 2019-05-02 | 11 | -0/+8 | |
| | | |||||
| * | ui: add initial sample UI for testing | 2019-02-28 | 7 | -0/+0 | |
