Grey out history entries with empty results #91
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
In order not to redo searches for every single history entry, this should probably be stored with the search somehow. It should be possible to recalculate, if the underlying data or search algorithm changes.
Some thoughts:
We can easily and performantly refill this information for all previous entries with an sql
EXISTSquery. But do we want to do this every time the database is updated? Would it be reasonable to keep old searches as empty until it is searched for again, and then we update the status? Maybe we even should store which version (see mugiten/jadb#10) the history entry was made with, so we could cache whether the calculation would need to be reperformed?Possibly relevant to #104