after-edit-sequence in color:text-mixin

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

See also on-edit-sequence.

• (send a-color:text-mixin after-edit-sequence) -> void