protected static void triggerTransactionPerformed(DevkitTransactionGroup group) { if (DevkitTransactionManager.transactionPerformed != null) { DevkitTransactionManager.transactionPerformed(group); } }
protected static DevkitTransactionGroup popUndo() { DevkitTransactionGroup value = DevkitTransactionManager.undoable.Last.Value; DevkitTransactionManager.undoable.RemoveLast(); return(value); }
protected static void clearRedo() { while (DevkitTransactionManager.redoable.Count > 0) { DevkitTransactionGroup devkitTransactionGroup = DevkitTransactionManager.redoable.Pop(); devkitTransactionGroup.forget(); } DevkitTransactionManager.redoable.Clear(); }
protected static void pushUndo(DevkitTransactionGroup group) { if ((long)DevkitTransactionManager.undoable.Count >= (long)((ulong)DevkitTransactionManager.historyLength)) { DevkitTransactionManager.undoable.First.Value.forget(); DevkitTransactionManager.undoable.RemoveFirst(); } DevkitTransactionManager.undoable.AddLast(group); }
protected static void clearUndo() { while (DevkitTransactionManager.undoable.Count > 0) { DevkitTransactionGroup value = DevkitTransactionManager.undoable.Last.Value; DevkitTransactionManager.undoable.RemoveLast(); value.forget(); } DevkitTransactionManager.undoable.Clear(); }
public static DevkitTransactionGroup redo() { if (!DevkitTransactionManager.canRedo) { return(null); } DevkitTransactionGroup devkitTransactionGroup = DevkitTransactionManager.popRedo(); devkitTransactionGroup.redo(); DevkitTransactionManager.pushUndo(devkitTransactionGroup); DevkitTransactionManager.triggerTransactionPerformed(devkitTransactionGroup); return(devkitTransactionGroup); }
protected static void pushRedo(DevkitTransactionGroup group) { DevkitTransactionManager.redoable.Push(group); }