update-region-end in color:text<%>
update-region-end
color:text<%>
Modifies the end of the region of the text to be tokenized.
(send a-color:text update-region-end end) -> void end : natural-number?
(send a-color:text update-region-end end)
send
a-color:text
end