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 on-interactive-resize.
The snip argument is the snip that was resized. This method does nothing.
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}