selection to

(#<widget> 'selection 'to index)
If index is before the anchor point, set the selection to the characters from index up to but not including the anchor point.

If index is the same as the anchor point, do nothing.

If index is after the anchor point, set the selection to the characters from the anchor point up to but not including index.

The anchor point is determined by the most recent selection from or selection adjust command in this widget.

If the selection isn't in this widget then a new selection is created using the most recent anchor point specified for the widget.

Returns an empty string.


© Author | Home | Sitemap