public ColouredPlaceModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; this.startName = VertexWrapper.Name; InitializeComponent(); }
public override void CopyTo(IVertexWrapper vertexWrapper) { base.CopyTo(vertexWrapper); TransitionWrapper wrapper = vertexWrapper as TransitionWrapper; wrapper.Angle = this.Angle; }
public ColouredTransitionModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; InitializeComponent(); }
public virtual void CopyTo(IVertexWrapper vertexWrapper) { WFVertexWrapper wrapper = vertexWrapper as WFVertexWrapper; wrapper.Coords = this.Coords; wrapper.SizeF = this.SizeF; wrapper.vertexValue = this.vertexValue; wrapper.graphWrapper = this.graphWrapper; }
public override void CopyTo(IVertexWrapper vertexWrapper) { base.CopyTo(vertexWrapper); MarkedPlaceWrapper wrapper = vertexWrapper as MarkedPlaceWrapper; wrapper.TokenSize = this.TokenSize; }
public VertexModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; InitializeComponent(); }