Fri, 16 Oct 2020 13:15:04 +0200 |
David Demelier |
core: remove assets
|
Fri, 16 Oct 2020 13:04:48 +0200 |
David Demelier |
ui: remove style from debug_report, closes #2499
|
Thu, 15 Oct 2020 18:45:27 +0200 |
David Demelier |
ui: make label less smart
|
Thu, 15 Oct 2020 18:09:45 +0200 |
David Demelier |
ui: make UI widgets usable as actions
|
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
|