jessegrosjean/CodeMirror — pull request #2 by mutahhir (2013-04-11 13:24:46+00:00)
Title: Fix for caret placement after multiple lines with different text indents are folded

...e different text indents

when multiple lines folded and have different text indents