after-edit-sequence (augments, and augmentable only) in editor:basic-mixin

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:basic-mixin after-edit-sequence void

  Helps to implement run-after-edit-sequence.