marijnh/CodeMirror — pull request #1627 by Dominator008 (2013-06-20 21:15:07+00:00)
Title: Add "index" parameter to addLineWidget() to support finer control on the ordering of line widgets.

Previously, addLineWidget() only appends to the end of existing widgets. This change enables splicing line widgets at any specified index.