* Fix loss of scroll position when pasting text

