Called after a top-level edit sequence completes (involving unnested begin-edit-sequence and end-edit-sequence).
See also on-edit-sequence.
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}