after-set-position in color:text-mixin
after-set-position
color:text-mixin
Called after the start and end position have been moved (but not when the position is moved due to inserts or deletes).
See also on-edit-sequence.
on-edit-sequence
(send a-color:text-mixin after-set-position) -> void
(send a-color:text-mixin after-set-position)
send
a-color:text-mixin