Issue #80: scrolling position conserved for the text editor