marijnh/CodeMirror — pull request #1664 by Dominator008 (2013-07-09 20:27:42+00:00)
Title: Fix a bug in addLineWidget.

Fixed clipping of the insertAt index.