예제 #1
0
 public void Undo()          //delete the junction
 {
     if (mState == null)
     {
         return;
     }
     if (mPath == null)
     {
         return;
     }
     mState.delJunc(mPath);
     mState.DelJuncFromData(mCover);
 }
예제 #2
0
        public void Redo()
        {
            if (mState == null)
            {
                return;
            }
            if (mPath == null)
            {
                return;
            }
            mState.delJunc(mPath);
            Cover c = mPath.ToolTip as Cover;

            c.juncInfo.ID = mCurId;
            mState.DelJuncFromData(c);
        }