Panning Completion Event

How can I determine when a user has completed repositioning/panning an entire diagram? I’ll looking to update node coordinates to the backend database whenever a node, group, or the entire diagram has been repositioned by the user. I based the solution for node and group on the SelectionMoved event but, this event isn’t triggered whenever I reposition/pan the entire diagram.

I suppose you could override PanningTool.doMouseUp to call the super method and then do whatever it is that you wanted.

But note that that doesn’t cover the cases where there might be other ways of changing the Diagram.position. For example by using the scrollbars. Or by zooming in or out.