I'm looking for a way to detect the mouseup event at the very end of a window resizing (when done by dragging).  (AFAICT, this event is not picked up by a resize handler on $(window) or on $(document).)
PS: for my purposes it is OK to define a "drag-resize" as the resizing that takes place between a mousedown (on a suitable resizing locus on the window) and its corresponding mouseup event, disregarding any pauses the user may make, while still holding down the mouse button, between those two end points.
 
     
    