njx · December 18, 2012 23:56 · jdgarvey · Feb 3, 2015
diff --git a/remove-widget.html b/remove-widget.html
 <!doctype html>
 <html>
  <head>
    <title>Widget Removal Bug</title>
    <link rel="stylesheet" href="lib/codemirror.css">
    <script src="lib/codemirror.js"></script>
    <link rel="stylesheet" href="doc/docs.css">

    <style type="text/css">
      .CodeMirror {border: 1px solid black;}
    </style>
  </head>
  <body>
    <h1>Widget Removal Bug</h1>

    <div id="editor"></div>
    <script id="script">
      window.onload = function() {
        var content = "";
        for (var i = 0; i < 100; i++) {
          content += "Line " + i + "\n";
        }
      
        window.editor = CodeMirror(document.getElementById("editor"), {
          lineNumbers: true,
          value: content
        });
        
        var node = document.createElement("div");
        node.style.backgroundColor = "#666666";
        node.style.height = "300px";
        window.lineWidget = editor.addLineWidget(1, node);        
      };
    </script>

    <input type="button" value="Remove Widget" onclick="editor.removeLineWidget(lineWidget)">
  </body>
 </html>