9 Commits

Author	SHA1	Message	Date
yflory	415fc27539	Pin todo and trim its history	2020-02-11 14:08:11 +01:00
yflory	b585cbba42	Improve trim history UI when completed	2020-02-11 12:05:09 +01:00
yflory	4079f1bfdb	Fix RPC command	2020-02-05 18:12:10 +01:00
yflory	e6709f03aa	Add trim history RPC command	2020-02-05 17:55:25 +01:00
yflory	689ea40a92	Compute history size in the worker	2020-02-04 13:52:32 +01:00
yflory	c58a50081b	lint compliance	2020-02-03 17:40:26 +01:00
yflory	4ac2f64726	Add history trim in the properties modal	2020-02-03 17:38:15 +01:00
yflory	5ead391706	Add comments and improve trim history warnings	2020-02-03 12:22:26 +01:00
yflory	b28f262c86	History trimming placeholder	2020-02-03 12:04:01 +01:00