marijnh/CodeMirror — pull request #1154 by jasonsanjose (2013-01-11 00:21:41+00:00)
Title: Change addLineWidget to update scrollTop synchronously

Fix for #1153