Do not save in history Collections that have been deleted
authorColin Clark <cclark@carbon>
Sat, 23 Nov 2019 15:52:40 +0000 (15:52 +0000)
committerColin Clark <cclark@carbon>
Sat, 23 Nov 2019 15:52:40 +0000 (15:52 +0000)
commitcb9200f013fadbfba46d569b4836ec0cf8d34c05
tree68fbf00e89ed46bb2e95c984fd276d28c23f94f4
parent27e185d16561d5ac9ede691a506159116296fa91
Do not save in history Collections that have been deleted

When saving the history file, check if a Collection still exists.

It would be better if this was done when the delete key is pressed.
src/history_list.c