![[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}
Called after a top-level edit sequence completes (involving unnested begin-edit-sequence and end-edit-sequence).
See also on-edit-sequence.
Dispatches to the mode.
Manages the entries enqueued by run-after-edit-sequence.
Updates local-edit-sequence?.