|
|
ce013ac9b4
|
Make statistic header optional
|
2020-08-27 20:18:53 +02:00 |
|
|
|
25abdc2903
|
General cleanups
|
2020-06-19 21:41:48 +09:00 |
|
|
|
8aea8267fb
|
Add some padding
|
2020-06-19 20:58:05 +09:00 |
|
|
|
5ce2c712d3
|
Fix statistics not being wrapped by containers
|
2020-06-19 20:53:43 +09:00 |
|
|
|
83e6c3efdb
|
Adjust API for returning statistics
|
2020-06-19 20:31:52 +09:00 |
|
|
|
a2ddb4edb4
|
Change interface for creating statistic rows
|
2020-06-16 17:49:28 +09:00 |
|
|
|
89b54be673
|
Add initial implementation of the statistics panel
|
2020-06-15 22:45:18 +09:00 |
|
