Thu, 15 Oct 2020 14:01:24 +0200 |
David Demelier |
ui: cleanup theme module, closes #2498
|
Thu, 15 Oct 2020 13:13:38 +0200 |
David Demelier |
ui: add a standalone align() function
|
Thu, 15 Oct 2020 10:45:40 +0200 |
David Demelier |
ui: allow custom position of labels
|
Thu, 15 Oct 2020 10:32:18 +0200 |
David Demelier |
misc: split libraries, closes #2496
|
Thu, 15 Oct 2020 09:21:04 +0200 |
David Demelier |
doc: use new nomenclature, closes #2497
|
Wed, 14 Oct 2020 18:20:58 +0200 |
David Demelier |
core: add theme_shallow function
|