public void Excute()
{
if (mState == null)
{
return;
}
if (mState.DelJunc(mPath))
{
Cover c = mPath.ToolTip as Cover;
mState.DelJuncFromData(c);
}
}
public void Undo() //delete the junction
{
if (mState == null)
{
return;
}
if (mPath == null)
{
return;
}
mState.delJunc(mPath);
mState.DelJuncFromData(mCover);
}