marijnh/CodeMirror — pull request #1743 by Dominator008 (2013-08-13 18:49:10+00:00)
Title: Implement addon for hiding lines

This is a simple addon that keeps track of hidden lines. Also includes a fix that lets VIM mode understand that some lines are hidden.