public void UpdateSize(GraphicElement el, ShapeAnchor anchor, Point delta) { Point adjustedDelta = anchor.AdjustedDelta(delta); Rectangle newRect = anchor.Resize(el.DisplayRectangle, adjustedDelta); UpdateDisplayRectangle(el, newRect, adjustedDelta); UpdateConnections(el); }
public void UpdateSize(GraphicElement el, ShapeAnchor anchor, Point delta) { Point adjustedDelta = anchor.AdjustedDelta(InverseZoomAdjust(delta)); Rectangle newRect = anchor.Resize(el.DisplayRectangle, adjustedDelta); UpdateDisplayRectangle(el, newRect, adjustedDelta); UpdateConnections(el); UpdateSelectedElement.Fire(this, new ElementEventArgs() { Element = el }); }