예제 #1
0
        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);
        }
예제 #2
0
        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
            });
        }