marijnh/CodeMirror2 — pull request #551 by njx (2012-05-25 05:22:51+00:00)
Title: Fix flickering during vertical scrolling (final)

Final (hopefully) version of the scrolling flicker fix, squashed into one commit.

Tested with wordwrap on and off, gutter on and off, Safari, Chrome, and Firefox across Mac 10.6, 10.7, and Win 7, and IE 7/8 (Win XP) and 9 (Win 7). Hopefully I didn't miss something obvious.

There was only one final change over the last commit I made in the previous pull request to fix a bug in IE 7--see comment in updateDisplay() where we show the scrollbar before recomputing line heights.