delete

(#<widget> 'delete index1 ?index2 ...?)
Delete a range of characters from the text.

If both index1 and index2 are specified, then delete all the characters starting with the one given by index1 and stopping just before index2 (i.e. the character at index2 is not deleted).

If index2 doesn't specify a position later in the text than index1 then no characters are deleted.

If index2 isn't specified then the single character at index1 is deleted.

It is not allowable to delete characters in a way that would leave the text without a newline as the last character.

If more indices are given, multiple ranges of text will be deleted.


© Author | Home | Sitemap