Vojtech Bubnik d70d54d4d3 UndoRedo extension:: ...

has_undo_snapshot(timestamp) to query whether one can undo to a snapshot
with a specific timestamp. Useful for notifications, that want to Undo
a specific operation, to verify whether such operation is still valid.

2020-12-14 16:22:40 +01:00

5.9 KiB

Raw Blame History

View Raw