Currently the documentation does not suggest any way to directly set the current selection of a view. I finally tried modifying the result of view.sel() directly. To help others avoid the same mistake, please add the following sentence to the document for view.sel():
Modifying the RegionSet returned by this command directly modifies the current selection of the view.
Customer support service by UserEcho