marijnh/CodeMirror — pull request #1523 by aslushnikov (2013-05-13 15:24:14+00:00)
Title: mark-selection addon improvement

Addresses issue #1484 and speeds up mark-selection add-on by
maintaining text selection coverage with small chunks of text marks.