private void AddToUndo(string SourceFilename, string DestFilename, UndoMode mode, int picIndex)
{
UndoData u = new UndoData();
u.source = SourceFilename;
u.dest = DestFilename;
u.mode = mode;
u.picIndex = picIndex;
undo.Push(u);
mainForm.FileManagementCallback(new UndoCallbackData(UndoCallbackEvent.UndoUpdated, u));
}
private void AddToUndo(string SourceFilename, string DestFilename, UndoMode mode, int picIndex, string undoID = "")
{
if (undoID == "")
{
undoID = Guid.NewGuid().ToString();
}
UndoData u = new UndoData
{
source = SourceFilename,
dest = DestFilename,
mode = mode,
picIndex = picIndex,
actionGroup = undoID // No use timestamp because of concerns about timing conflicts and the related format is not simple.
};
undo.Push(u);
// mainForm.FileManagementCallback( new UndoCallbackData( UndoCallbackEvent.UndoUpdated, u ) ); // unused.
}
