public void redo() { ElemUndo redo = Undo.redo(); if (redo != null) { selectArea = redo.undo(selectArea, clr, lyr, map); refreshImage(); } }
public static void add( ElemUndo toAdd ) { if( !init ) initialize(); if( redoStk.Count > 0 ) redoStk.Clear(); undoStk.Push( toAdd ); }
public static ElemUndo redo() { ElemUndo toRet = null; if (init && redoStk.Count > 0) { toRet = redoStk.Pop(); undoStk.Push(toRet); } return(toRet); }
public static void add(ElemUndo toAdd) { if (!init) { initialize(); } if (redoStk.Count > 0) { redoStk.Clear(); } undoStk.Push(toAdd); }
public static void reAdd( ElemUndo toAdd ) { redoStk.Push( toAdd ); }
public static void reAdd(ElemUndo toAdd) { redoStk.Push(toAdd); }