Improve view.sel() documentation

Aparajita 13 years ago 0
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.