adobe/CodeMirror2 — pull request #61 by njx (2012-06-12 18:59:08+00:00)
Title: Force display update after doing a page scroll

@gruehle

With the new scrolling approach, if you set scrollbar.scrollTop manually in the code, it's possible for `scrollbar.scrollTop` and the mover position to be out of sync until the next `updateDisplay()`. This doesn't cause a problem in the current CodeMirror master because nothing depends on the mover offset in between the two (at least that we've found). However, our version of `localCoords()` (which we rewrote as part of the inline editor stuff) relies on the two being in sync. So in the case of `moveV()`, which manually sets `scrollbar.scrollTop`, we need to force a display update immediately.

Fixes adobe/brackets#1025, adobe/brackets#1026, and adobe/brackets#1030.