marijnh/CodeMirror — pull request #2462 by hitsthings (2014-04-14 03:59:53+00:00)
Title: Fix #2460 and #2355 - line widgets don't update scroll height

Using the fix you wrote for #2460, I fixed #2355 and #2460.

I also wrote some tests for the line widget methods so this doesn't regress.