public static DevkitTransactionGroup redo() { if (!DevkitTransactionManager.canRedo) { return(null); } DevkitTransactionGroup devkitTransactionGroup = DevkitTransactionManager.popRedo(); devkitTransactionGroup.redo(); DevkitTransactionManager.pushUndo(devkitTransactionGroup); DevkitTransactionManager.triggerTransactionPerformed(devkitTransactionGroup); return(devkitTransactionGroup); }
public static void endTransaction() { if (DevkitTransactionManager.transactionDepth == 0) { return; } DevkitTransactionManager.transactionDepth--; if (DevkitTransactionManager.transactionDepth == 0) { DevkitTransactionManager.pendingGroup.end(); if (DevkitTransactionManager.pendingGroup.delta) { DevkitTransactionManager.pushUndo(DevkitTransactionManager.pendingGroup); } else { DevkitTransactionManager.pendingGroup.forget(); } DevkitTransactionManager.pendingGroup = null; DevkitTransactionManager.triggerTransactionsChanged(); } }