OS.gtk_editable_set_position (entryHandle, selection.x); OS.gtk_editable_select_region (entryHandle, selection.x, selection.y);
if ((style & SWT.READ_ONLY) != 0) return; if (entryHandle != 0) { OS.gtk_editable_set_position (entryHandle, selection.x); OS.gtk_editable_select_region (entryHandle, selection.x, selection.y); }
public void setSelection (Point selection) {	checkWidget();	if (selection == null) error (SWT.ERROR_NULL_ARGUMENT);	OS.gtk_editable_set_position (entryHandle, selection.x);	OS.gtk_editable_select_region (entryHandle, selection.x, selection.y);}