When dragging a node, it jumps to position the origin of the node element to the mouse location, instead of keeping the current drag point at the mouse location.
HypernodePullHandler>>#dragEndEvent: needs to be corrected to adjust the reposition point by the offset of the mouse location within the element.
When dragging a node, it jumps to position the origin of the node element to the mouse location, instead of keeping the current drag point at the mouse location.
HypernodePullHandler>>#dragEndEvent:
needs to be corrected to adjust the reposition point by the offset of the mouse location within the element.