public virtual void do_delete_text (int start_pos, int end_pos)
Deletes a sequence of characters.
The characters that are deleted are those characters at positions from
start_pos up to, but not including
end_pos is negative, then the characters deleted are those from
start_pos to the end of the text.
Note that the positions are specified in characters, not bytes.