public void Undo() //delete the junction { if (mState == null) { return; } if (mPath == null) { return; } mState.delJunc(mPath); mState.DelJuncFromData(mCover); }
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); }