TextViews.ShowRange does not clear the auto-scroll range
|Assignee:||J. Templ||% Done:|
A single text.Insert(...) operation followed by a TextViews.ShowRange(text, ...) does not scroll to the requested position but to the end of the insertion.
This results from the auto scroll mechanism of TextControllers, which scrolls a text lazily to the position of the last modification.
TextViews.ShowRange therefore should clear the auto scroll range if there is one.