xmTextSetSelection(+WidgetName, +First, +Last)
XmTextSetSelection()と同様の働きをします。
位置Firstから位置Lastのテキストをprimary選択として設定します。最近、あるいは現在ディスパッチされているイベントの時刻が使用されます。
