XmTextSetSelection - A Text function that sets the primary selection of the text
void XmTextSetSelection (widget, first, last, time)
XmTextSetSelection sets the primary selection of the text in the widget. It also sets the insertion cursor position to the last position of the selection and calls the widget's XmNmotionVerifyCallback callbacks. Specifies the Text widget ID Marks the first character position of the text to be selected Marks the last position of the text to be selected Specifies the time at which the selection value is desired. This should be the same as the time of the event that triggered this request.
For a complete definition of Text and its associated resources, see