RubyGems - burp_cms - Versions diffs - 1.3.13 → 1.3.14 - Mend

burp_cms 1.3.13 → 1.3.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (243) hide show

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/changemode.html DELETED Viewed

@@ -1,50 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Mode-Changing Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../mode/javascript/javascript.js"></script>
-    <script src="../mode/scheme/scheme.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {border: 1px solid black;}
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Mode-Changing demo</h1>
-    <form><textarea id="code" name="code">
-;; If there is Scheme code in here, the editor will be in Scheme mode.
-;; If you put in JS instead, it'll switch to JS mode.
-(define (double x)
-  (* x x))
-</textarea></form>
-<p>On changes to the content of the above editor, a (crude) script
-tries to auto-detect the language used, and switches the editor to
-either JavaScript or Scheme mode based on that.</p>
-<script>
-  var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-    mode: "scheme",
-    lineNumbers: true,
-    matchBrackets: true,
-    tabMode: "indent",
-    onChange: function() {
-      clearTimeout(pending);
-      setTimeout(update, 400);
-    }
-  });
-  var pending;
-  function looksLikeScheme(code) {
-    return !/^\s*\(\s*function\b/.test(code) && /^\s*[;\(]/.test(code);
-  }
-  function update() {
-    editor.setOption("mode", looksLikeScheme(editor.getValue()) ? "scheme" : "javascript");
-  }
-</script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/closetag.html DELETED Viewed

@@ -1,65 +0,0 @@
-<!doctype html>
-<html>
-	<head>
-		<title>CodeMirror: Close-Tag Demo</title>
-		<link rel="stylesheet" href="../lib/codemirror.css">
-		<script src="../lib/codemirror.js"></script>
-		<script src="../lib/util/closetag.js"></script>
-		<script src="../mode/xml/xml.js"></script>
-		<script src="../mode/javascript/javascript.js"></script>
-		<script src="../mode/css/css.js"></script>
-		<script src="../mode/htmlmixed/htmlmixed.js"></script>
-		<link rel="stylesheet" href="../doc/docs.css">
-		<style type="text/css">
-			.CodeMirror {border-top: 1px solid #eee; border-bottom: 1px solid #eee;}
-		</style>
-	</head>
-	<body>
-		<h1>Close-Tag Demo</h1>
-		<ul>
-			<li>Type an html tag.  When you type '>' or '/', the tag will auto-close/complete.  Block-level tags will indent.</li>
-			<li>There are options for disabling tag closing or customizing the list of tags to indent.</li>
-			<li>Works with "text/html" (based on htmlmixed.js or xml.js) mode.</li>
-			<li>View source for key binding details.</li>
-		</p>
-		<form><textarea id="code" name="code"></textarea></form>
-		<script type="text/javascript">
-		var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-			mode: 'text/html',
-			//closeTagEnabled: false, // Set this option to disable tag closing behavior without having to remove the key bindings.
-			//closeTagIndent: false, // Pass false or an array of tag names to override the default indentation behavior.
-			extraKeys: {
-				"'>'": function(cm) { cm.closeTag(cm, '>'); },
-				"'/'": function(cm) { cm.closeTag(cm, '/'); }
-			},
-			/*
-			// extraKeys is the easier way to go, but if you need native key event processing, this should work too.
-			onKeyEvent: function(cm, e) {
-				if (e.type == 'keydown') {
-					var c = e.keyCode || e.which;
-					if (c == 190 || c == 191) {
-						try {
-							cm.closeTag(cm, c == 190 ? '>' : '/');
-							e.stop();
-							return true;
-						} catch (e) {
-							if (e != CodeMirror.Pass) throw e;
-						}
-					}
-				}
-				return false;
-			},
-			*/
-			wordWrap: true
-		});
-		</script>
-	</body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/complete.html DELETED Viewed

@@ -1,70 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Autocomplete Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../lib/util/simple-hint.js"></script>
-    <link rel="stylesheet" href="../lib/util/simple-hint.css">
-    <script src="../lib/util/javascript-hint.js"></script>
-    <script src="../mode/javascript/javascript.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">.CodeMirror {border: 1px solid #eee;} .CodeMirror-scroll { height: 100% }</style>
-  </head>
-  <body>
-    <h1>CodeMirror: Autocomplete demo</h1>
-    <form><textarea id="code" name="code">
-function getCompletions(token, context) {
-  var found = [], start = token.string;
-  function maybeAdd(str) {
-    if (str.indexOf(start) == 0) found.push(str);
-  }
-  function gatherCompletions(obj) {
-    if (typeof obj == "string") forEach(stringProps, maybeAdd);
-    else if (obj instanceof Array) forEach(arrayProps, maybeAdd);
-    else if (obj instanceof Function) forEach(funcProps, maybeAdd);
-    for (var name in obj) maybeAdd(name);
-  }
-  if (context) {
-    // If this is a property, see if it belongs to some object we can
-    // find in the current environment.
-    var obj = context.pop(), base;
-    if (obj.className == "js-variable")
-      base = window[obj.string];
-    else if (obj.className == "js-string")
-      base = "";
-    else if (obj.className == "js-atom")
-      base = 1;
-    while (base != null && context.length)
-      base = base[context.pop().string];
-    if (base != null) gatherCompletions(base);
-  }
-  else {
-    // If not, just look in the window object and any local scope
-    // (reading into JS mode internals to get at the local variables)
-    for (var v = token.state.localVars; v; v = v.next) maybeAdd(v.name);
-    gatherCompletions(window);
-    forEach(keywords, maybeAdd);
-  }
-  return found;
-}
-</textarea></form>
-<p>Press <strong>ctrl-space</strong> to activate autocompletion. See
-the code (<a href="../lib/util/simple-hint.js">here</a>
-and <a href="../lib/util/javascript-hint.js">here</a>) to figure out
-how it works.</p>
-    <script>
-      CodeMirror.commands.autocomplete = function(cm) {
-        CodeMirror.simpleHint(cm, CodeMirror.javascriptHint);
-      }
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        extraKeys: {"Ctrl-Space": "autocomplete"}
-      });
-    </script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/emacs.html DELETED Viewed

@@ -1,59 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Emacs bindings demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../mode/clike/clike.js"></script>
-    <script src="../keymap/emacs.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {border-top: 1px solid #eee; border-bottom: 1px solid #eee;}
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Emacs bindings demo</h1>
-    <form><textarea id="code" name="code">
-#include "syscalls.h"
-/* getchar:  simple buffered version */
-int getchar(void)
-{
-  static char buf[BUFSIZ];
-  static char *bufp = buf;
-  static int n = 0;
-  if (n == 0) {  /* buffer is empty */
-    n = read(0, buf, sizeof buf);
-    bufp = buf;
-  }
-  return (--n >= 0) ? (unsigned char) *bufp++ : EOF;
-}
-</textarea></form>
-<p>The emacs keybindings are enabled by
-including <a href="../keymap/emacs.js">keymap/emacs.js</a> and setting
-the <code>keyMap</code> option to <code>"emacs"</code>. Because
-CodeMirror's internal API is quite different from Emacs, they are only
-a loose approximation of actual emacs bindings, though.</p>
-<p>Also note that a lot of browsers disallow certain keys from being
-captured. For example, Chrome blocks both Ctrl-W and Ctrl-N, with the
-result that idiomatic use of Emacs keys will constantly close your tab
-or open a new window.</p>
-    <script>
-      CodeMirror.commands.save = function() {
-        var elt = editor.getWrapperElement();
-        elt.style.background = "#def";
-        setTimeout(function() { elt.style.background = ""; }, 300);
-      };
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        mode: "text/x-csrc",
-        keyMap: "emacs"
-      });
-    </script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/folding.html DELETED Viewed

@@ -1,61 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Code Folding Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../lib/util/foldcode.js"></script>
-    <script src="../mode/javascript/javascript.js"></script>
-    <script src="../mode/xml/xml.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
-      .CodeMirror-gutter {min-width: 2.6em; cursor: pointer;}
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Code Folding Demo</h1>
-    <p>Demonstration of code folding using the code
-    in <a href="../lib/util/foldcode.js"><code>foldcode.js</code></a>.
-    Press ctrl-q or click on the gutter to fold a block, again
-    to unfold.</p>
-    <form>
-      <div style="max-width: 50em; margin-bottom: 1em">JavaScript:<br><textarea id="code" name="code"></textarea></div>
-      <div style="max-width: 50em">HTML:<br><textarea id="code-html" name="code-html"></textarea></div>
-    </form>
-    <script id="script">
-window.onload = function() {
-  var te = document.getElementById("code");
-  var sc = document.getElementById("script");
-  te.value = (sc.textContent || sc.innerText || sc.innerHTML).replace(/^\s*/, "");
-  sc.innerHTML = "";
-  var te_html = document.getElementById("code-html");
-  te_html.value = "<html>\n  " + document.documentElement.innerHTML + "\n</html>";
-  var foldFunc = CodeMirror.newFoldFunction(CodeMirror.braceRangeFinder);
-  window.editor = CodeMirror.fromTextArea(te, {
-    mode: "javascript",
-    lineNumbers: true,
-    lineWrapping: true,
-    onGutterClick: foldFunc,
-    extraKeys: {"Ctrl-Q": function(cm){foldFunc(cm, cm.getCursor().line);}}
-  });
-  foldFunc(editor, 9);
-  foldFunc(editor, 20);
-  var foldFunc_html = CodeMirror.newFoldFunction(CodeMirror.tagRangeFinder);
-  window.editor_html = CodeMirror.fromTextArea(te_html, {
-    mode: "text/html",
-    lineNumbers: true,
-    lineWrapping: true,
-    onGutterClick: foldFunc_html,
-    extraKeys: {"Ctrl-Q": function(cm){foldFunc_html(cm, cm.getCursor().line);}}
-  })
-  foldFunc_html(editor_html, 1);
-  foldFunc_html(editor_html, 15);
-};
-</script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/formatting.html DELETED Viewed

@@ -1,80 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Formatting Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../lib/util/formatting.js"></script>
-    <script src="../mode/css/css.js"></script>
-    <script src="../mode/xml/xml.js"></script>
-    <script src="../mode/javascript/javascript.js"></script>
-    <script src="../mode/htmlmixed/htmlmixed.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {
-        border: 1px solid #eee;
-      }
-      td {
-        padding-right: 20px;
-      }
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Formatting demo</h1>
-    <form><textarea id="code" name="code"><script> function (s,e){ for(var i=0; i < 1; i++) test("test();a=1");} </script>
-<script>
-function test(c){  for (var i = 0; i < 10; i++){	          process("a.b();c = null;", 300);}
-}
-</script>
-<table><tr><td>test 1</td></tr><tr><td>test 2</td></tr></table>
-<script> function test() { return 1;} </script>
-<style> .test { font-size: medium; font-family: monospace; }
-</style></textarea></form>
-<p>Select a piece of code and click one of the links below to apply automatic formatting to the selected text or comment/uncomment the selected text. Note that the formatting behavior depends on the current block's mode.
-    <table>
-      <tr>
-        <td>
-          <a href="javascript:autoFormatSelection()">
-            Autoformat Selected
-          </a>
-        </td>
-        <td>
-          <a href="javascript:commentSelection(true)">
-            Comment Selected
-          </a>
-        </td>
-        <td>
-          <a href="javascript:commentSelection(false)">
-            Uncomment Selected
-          </a>
-        </td>
-      </tr>
-    </table>
-</p>
-    <script>
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        mode: "htmlmixed"
-      });
-      CodeMirror.commands["selectAll"](editor);
-      function getSelectedRange() {
-        return { from: editor.getCursor(true), to: editor.getCursor(false) };
-      }
-      function autoFormatSelection() {
-        var range = getSelectedRange();
-        editor.autoFormatRange(range.from, range.to);
-      }
-      function commentSelection(isComment) {
-        var range = getSelectedRange();
-        editor.commentRange(isComment, range.from, range.to);
-      }
-    </script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/fullscreen.html DELETED Viewed

@@ -1,152 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Full Screen Editing</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <link rel="stylesheet" href="../theme/night.css">
-    <script src="../mode/xml/xml.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-        .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
-        .CodeMirror-fullscreen {
-            display: block;
-            position: absolute;
-            top: 0;
-            left: 0;
-            width: 100%;
-            height: 100%;
-            z-index: 9999;
-            margin: 0;
-            padding: 0;
-            border: 0px solid #BBBBBB;
-            opacity: 1;
-        }
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Full Screen Editing</h1>
-    <form><textarea id="code" name="code" rows="5">
-  <dt id="option_indentWithTabs"><code>indentWithTabs (boolean)</code></dt>
-  <dd>Whether, when indenting, the first N*8 spaces should be
-  replaced by N tabs. Default is false.</dd>
-  <dt id="option_tabMode"><code>tabMode (string)</code></dt>
-  <dd>Determines what happens when the user presses the tab key.
-  Must be one of the following:
-    <dl>
-      <dt><code>"classic" (the default)</code></dt>
-      <dd>When nothing is selected, insert a tab. Otherwise,
-      behave like the <code>"shift"</code> mode. (When shift is
-      held, this behaves like the <code>"indent"</code> mode.)</dd>
-      <dt><code>"shift"</code></dt>
-      <dd>Indent all selected lines by
-      one <a href="#option_indentUnit"><code>indentUnit</code></a>.
-      If shift was held while pressing tab, un-indent all selected
-      lines one unit.</dd>
-      <dt><code>"indent"</code></dt>
-      <dd>Indent the line the 'correctly', based on its syntactic
-      context. Only works if the
-      mode <a href="#indent">supports</a> it.</dd>
-      <dt><code>"default"</code></dt>
-      <dd>Do not capture tab presses, let the browser apply its
-      default behaviour (which usually means it skips to the next
-      control).</dd>
-    </dl></dd>
-  <dt id="option_enterMode"><code>enterMode (string)</code></dt>
-  <dd>Determines whether and how new lines are indented when the
-  enter key is pressed. The following modes are supported:
-    <dl>
-      <dt><code>"indent" (the default)</code></dt>
-      <dd>Use the mode's indentation rules to give the new line
-      the correct indentation.</dd>
-      <dt><code>"keep"</code></dt>
-      <dd>Indent the line the same as the previous line.</dd>
-      <dt><code>"flat"</code></dt>
-      <dd>Do not indent the new line.</dd>
-    </dl></dd>
-  <dt id="option_enterMode"><code>enterMode (string)</code></dt>
-  <dd>Determines whether and how new lines are indented when the
-  enter key is pressed. The following modes are supported:
-    <dl>
-      <dt><code>"indent" (the default)</code></dt>
-      <dd>Use the mode's indentation rules to give the new line
-      the correct indentation.</dd>
-      <dt><code>"keep"</code></dt>
-      <dd>Indent the line the same as the previous line.</dd>
-      <dt><code>"flat"</code></dt>
-      <dd>Do not indent the new line.</dd>
-    </dl></dd>
-  <dt id="option_enterMode"><code>enterMode (string)</code></dt>
-  <dd>Determines whether and how new lines are indented when the
-  enter key is pressed. The following modes are supported:
-    <dl>
-      <dt><code>"indent" (the default)</code></dt>
-      <dd>Use the mode's indentation rules to give the new line
-      the correct indentation.</dd>
-      <dt><code>"keep"</code></dt>
-      <dd>Indent the line the same as the previous line.</dd>
-      <dt><code>"flat"</code></dt>
-      <dd>Do not indent the new line.</dd>
-    </dl></dd>
-  <dt id="option_enterMode"><code>enterMode (string)</code></dt>
-  <dd>Determines whether and how new lines are indented when the
-  enter key is pressed. The following modes are supported:
-    <dl>
-      <dt><code>"indent" (the default)</code></dt>
-      <dd>Use the mode's indentation rules to give the new line
-      the correct indentation.</dd>
-      <dt><code>"keep"</code></dt>
-      <dd>Indent the line the same as the previous line.</dd>
-      <dt><code>"flat"</code></dt>
-      <dd>Do not indent the new line.</dd>
-    </dl></dd>
-</textarea></form>
- <script>
-    var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        theme: "night",
-        extraKeys: {
-            "F11": function() {
-              var scroller = editor.getScrollerElement();
-              if (scroller.className.search(/\bCodeMirror-fullscreen\b/) === -1) {
-                scroller.className += " CodeMirror-fullscreen";
-                scroller.style.height = "100%";
-                scroller.style.width = "100%";
-                editor.refresh();
-              } else {
-                scroller.className = scroller.className.replace(" CodeMirror-fullscreen", "");
-                scroller.style.height = '';
-                scroller.style.width = '';
-                editor.refresh();
-              }
-            },
-            "Esc": function() {
-              var scroller = editor.getScrollerElement();
-              if (scroller.className.search(/\bCodeMirror-fullscreen\b/) !== -1) {
-                scroller.className = scroller.className.replace(" CodeMirror-fullscreen", "");
-                scroller.style.height = '';
-                scroller.style.width = '';
-                editor.refresh();
-              }
-            }
-        }
-    });
-</script>
-    <p>Press <strong>F11</strong> when cursor is in the editor to toggle full screen editing. <strong>Esc</strong> can also be used to <i>exit</i> full screen editing.</p>
-    <p><strong>Note:</strong> Does not currently work correctly in IE
-    6 and 7, where setting the height of something
-    to <code>100%</code> doesn't make it full screen.</p>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/loadmode.html DELETED Viewed

@@ -1,39 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Lazy Mode Loading Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../lib/util/loadmode.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Lazy Mode Loading</h1>
-    <form><textarea id="code" name="code">This is the editor.
-// It starts out in plain text mode,
-#  use the control below to load and apply a mode
-  "you'll see the highlighting of" this text /*change*/.
-</textarea></form>
-<p><input type=text value=javascript id=mode> <button type=button onclick="change()">change mode</button></p>
-    <script>
-CodeMirror.modeURL = "../mode/%N/%N.js";
-var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-  lineNumbers: true
-});
-var modeInput = document.getElementById("mode");
-CodeMirror.connect(modeInput, "keypress", function(e) {
-  if (e.keyCode == 13) change();
-});
-function change() {
-   editor.setOption("mode", modeInput.value);
-   CodeMirror.autoLoadMode(editor, modeInput.value);
-}
-</script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/marker.html DELETED Viewed

@@ -1,52 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Breakpoint Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../mode/javascript/javascript.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror-gutter {
-        width: 3em;
-        background: white;
-      }
-      .CodeMirror {
-        border: 1px solid #aaa;
-      }
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Breakpoint demo</h1>
-    <form><textarea id="code" name="code">
-CodeMirror.fromTextArea(document.getElementById("code"), {
-  lineNumbers: true,
-  onGutterClick: function(cm, n) {
-    var info = cm.lineInfo(n);
-    if (info.markerText)
-      cm.clearMarker(n);
-    else
-      cm.setMarker(n, "<span style=\"color: #900\">●</span> %N%");
-  }
-});
-</textarea></form>
-<p>Click the line-number gutter to add or remove 'breakpoints'.</p>
-    <script>
-      CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        onGutterClick: function(cm, n) {
-          var info = cm.lineInfo(n);
-          if (info.markerText)
-            cm.clearMarker(n);
-          else
-            cm.setMarker(n, "<span style=\"color: #900\">●</span> %N%");
-        }
-      });
-    </script>
-  </body>
-</html>

data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/matchhighlighter.html DELETED Viewed

@@ -1,37 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <title>CodeMirror: Match Highlighter Demo</title>
-    <link rel="stylesheet" href="../lib/codemirror.css">
-    <script src="../lib/codemirror.js"></script>
-    <script src="../lib/util/searchcursor.js"></script>
-    <script src="../lib/util/match-highlighter.js"></script>
-    <link rel="stylesheet" href="../doc/docs.css">
-    <style type="text/css">
-      .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
-      span.CodeMirror-matchhighlight { background: #e9e9e9 }
-      .CodeMirror-focused span.CodeMirror-matchhighlight { background: #e7e4ff; !important }
-    </style>
-  </head>
-  <body>
-    <h1>CodeMirror: Match Highlighter Demo</h1>
-    <form><textarea id="code" name="code">Select this text: hardToSpotVar
-	And everywhere else in your code where hardToSpotVar appears will automatically illuminate.
-Give it a try!  No more hardToSpotVars.</textarea></form>
-    <script>
-var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-  lineNumbers : true,
-  onCursorActivity: function() {
-    editor.matchHighlight("CodeMirror-matchhighlight");
-  }
-});
-</script>
-    <p>Highlight matches of selected text on select</p>
-  </body>
-</html>