Matthew Flatt wrote <mflatt@cs.utah.edu> snip > * Windows: fixed editor scrolling so that it updates the text while > a user drags the scrollbar. snip Thanks, Jacob J. A. Koot (jos)