after-interactive-resize (augmentable only) in pasteboard%

This method is called after the user stops interactively resizing a snip (the one that is currently selected; see find-next-selected-snip).

See also can-interactive-resize? and on-interactive-resize.