widget.remove() should be widget.clear()

Author: jasonsanjose

lib/codemirror.js

@@ -2604,7 +2604,7 @@ window.CodeMirror = (function() {
       return addLineWidget(this, handle, node, options);
     }),
 
-    removeLineWidget: function(widget) { widget.remove(); },
+    removeLineWidget: function(widget) { widget.clear(); },
 
     lineInfo: function(line) {
       if (typeof line == "number") {