after-edit-sequence in editor<%>

Called after a top-level edit sequence completes (involving unnested begin-edit-sequence and end-edit-sequence).

See also on-edit-sequence.

• (send an-editor after-edit-sequence) -> void