textGUI: faster scrolling, especially at the end of long texts