marijnh/CodeMirror — pull request #1152 by jasonsanjose (2013-01-10 21:55:43+00:00)
Title: widget.remove() should be widget.clear()

See LineWidget refactoring in db1b28207d5b8b799d7202cf47bb9ece1c0afb3c. Appears to be an oversight.