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

burp_cms 1.3.13 → 1.3.14

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>