git://git.onelab.eu / myslice.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
move a few things away in to-be-integrated/
[myslice.git] / third-party / codemirror-3.15 / demo / spanaffectswrapping_shim.html
diff --git a/third-party/codemirror-3.15/demo/spanaffectswrapping_shim.html b/third-party/codemirror-3.15/demo/spanaffectswrapping_shim.html
deleted file mode 100644 (file)
index 733db06..0000000
--- a/third-party/codemirror-3.15/demo/spanaffectswrapping_shim.html
+++ /dev/null
@@ -1,73 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <meta charset="utf-8">
-    <title>CodeMirror: Automatically derive odd wrapping behavior for your browser</title>
-    <link rel="stylesheet" href="../doc/docs.css">
-  </head>
-  <body>
-    <h1>CodeMirror: odd wrapping shim</h1>
-
-    <p>This is a hack to automatically derive
-    a <code>spanAffectsWrapping</code> regexp for a browser. See the
-    comments above that variable
-    in <a href="../lib/codemirror.js"><code>lib/codemirror.js</code></a>
-    for some more details.</p>
-
-    <div style="white-space: pre-wrap; width: 50px;" id="area"></div>
-    <pre id="output"></pre>
-
-    <script id="script">
-      var a = document.getElementById("area"), bad = Object.create(null);
-      var chars = "a~`!@#$%^&*()-_=+}{[]\|'\"/?.>,<:;", l = chars.length;
-      for (var x = 0; x < l; ++x) for (var y = 0; y < l; ++y) {
-        var s1 = "foooo" + chars.charAt(x), s2 = chars.charAt(y) + "br";
-        a.appendChild(document.createTextNode(s1 + s2));
-        var h1 = a.offsetHeight;
-        a.innerHTML = "";
-        a.appendChild(document.createElement("span")).appendChild(document.createTextNode(s1));
-        a.appendChild(document.createElement("span")).appendChild(document.createTextNode(s2));
-        if (a.offsetHeight != h1)
-          bad[chars.charAt(x)] = (bad[chars.charAt(x)] || "") + chars.charAt(y);
-        a.innerHTML = "";
-      }
-
-      var re = "";
-      function toREElt(str) {
-        if (str.length > 1) {
-          var invert = false;
-          if (str.length > chars.length * .6) {
-            invert = true;
-            var newStr = "";
-            for (var i = 0; i < l; ++i) if (str.indexOf(chars.charAt(i)) == -1) newStr += chars.charAt(i);
-            str = newStr;
-          }
-          str = str.replace(/[\-\.\]\"\'\\\/\^a]/g, function(orig) { return orig == "a" ? "\\w" : "\\" + orig; });
-          return "[" + (invert ? "^" : "") + str + "]";
-        } else if (str == "a") {
-          return "\\w";
-        } else if (/[?$*()+{}[\]\.|/\'\"]/.test(str)) {
-          return "\\" + str;
-        } else {
-          return str;
-        }
-      }
-
-      var newRE = "";
-      for (;;) {
-        var left = null;
-        for (var left in bad) break;
-        if (left == null) break;
-        var right = bad[left];
-        delete bad[left];
-        for (var other in bad) if (bad[other] == right) {
-          left += other;
-          delete bad[other];
-        }
-        newRE += (newRE ? "|" : "") + toREElt(left) + toREElt(right);
-      }
-
-      document.getElementById("output").appendChild(document.createTextNode("Your regexp is: " + (newRE || "^$")));
-    </script>
-  </body>
-</html>
myslice (django)