11 Commits

Author	SHA1	Message	Date
naoei	6e13cf82e8	Don't render statistic header if display string is null	2022-08-10 16:05:34 -04:00
Dan Balasescu	f8830c6850	Automated #nullable processing	2022-06-17 16:37:17 +09:00
Henry Lin	042574660c	Rename "Content" to "CreateContent"	2022-02-02 17:29:03 +08:00
Henry Lin	c5c4c85006	Lazily create content of StatisticItem	2022-02-02 13:29:18 +08:00
Bartłomiej Dach	ce013ac9b4	Make statistic header optional	2020-08-27 20:18:53 +02:00
smoogipoo	25abdc2903	General cleanups	2020-06-19 21:41:48 +09:00
smoogipoo	8aea8267fb	Add some padding	2020-06-19 20:58:05 +09:00
smoogipoo	5ce2c712d3	Fix statistics not being wrapped by containers	2020-06-19 20:53:43 +09:00
smoogipoo	83e6c3efdb	Adjust API for returning statistics	2020-06-19 20:31:52 +09:00
smoogipoo	a2ddb4edb4	Change interface for creating statistic rows	2020-06-16 17:49:28 +09:00
smoogipoo	89b54be673	Add initial implementation of the statistics panel	2020-06-15 22:45:18 +09:00