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);
}