Remove All Dependencies Option
Issue #137
new
It is proposed that an option be added to the prompt that appears when you try to delete an element which other elements depend on:
Delete all the elements which depend on it. For example, if trying to delete Evidence 1, and there is a contradiction which has Evidence 1, and a reveal evidence command on Evidence 1, both of those would be removed.
Before committing to do this, it needs to be clearly established what deleting an element would look like in all situations. Would the whole contradiction be deleted, or would just the evidence to present be removed?