3 Commits

Include renames

Author	SHA1	Message	Date
Daniel Imms	098b2252d0	Prevent exception when deleting non-existent element ... Fixes #3885	2022-07-06 04:39:12 -07:00
Daniel Imms	999f255893	Fix sorted list edge case	2022-05-11 09:49:23 -07:00
Daniel Imms	931ee9e89e	Maintain decorations sorted by line	2022-05-11 09:34:51 -07:00