adobe/CodeMirror2 — pull request #80 by jasonsanjose (2013-01-04 18:11:18+00:00)
Title: REVIEW ONLY: Implement totalHeight() method to include line heights and line widget heights

For review before submitting to Marijnh.