Example #1
0
        public void redo()
        {
            ElemUndo redo = Undo.redo();

            if (redo != null)
            {
                selectArea = redo.undo(selectArea, clr, lyr, map);
                refreshImage();
            }
        }
Example #2
0
  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);
        }
Example #5
0
  public static void reAdd( ElemUndo toAdd )
  {
   redoStk.Push( toAdd );

  }
 public static void reAdd(ElemUndo toAdd)
 {
     redoStk.Push(toAdd);
 }