Mercurial

comparison .cms/lib/codemirror/demo/spanaffectswrapping_shim.html @ 0:78edf6b517a0 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:78edf6b517a0
1 <!doctype html>
2
3 <title>CodeMirror: Automatically derive odd wrapping behavior for your browser</title>
4 <meta charset="utf-8"/>
5 <link rel=stylesheet href="../doc/docs.css">
6
7 <div id=nav>
8 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../doc/logo.png"></a>
9
10 <ul>
11 <li><a href="../index.html">Home</a>
12 <li><a href="../doc/manual.html">Manual</a>
13 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
14 </ul>
15 <ul>
16 <li><a class=active href="#">Automatically derive odd wrapping behavior for your browser</a>
17 </ul>
18 </div>
19
20 <article>
21 <h2>Automatically derive odd wrapping behavior for your browser</h2>
22
23
24 <p>This is a hack to automatically derive
25 a <code>spanAffectsWrapping</code> regexp for a browser. See the
26 comments above that variable
27 in <a href="../lib/codemirror.js"><code>lib/codemirror.js</code></a>
28 for some more details.</p>
29
30 <div style="white-space: pre-wrap; width: 50px;" id="area"></div>
31 <pre id="output"></pre>
32
33 <script id="script">
34 var a = document.getElementById("area"), bad = Object.create(null);
35 var chars = "a~`!@#$%^&*()-_=+}{[]\\|'\"/?.>,<:;", l = chars.length;
36 for (var x = 0; x < l; ++x) for (var y = 0; y < l; ++y) {
37 var s1 = "foooo" + chars.charAt(x), s2 = chars.charAt(y) + "br";
38 a.appendChild(document.createTextNode(s1 + s2));
39 var h1 = a.offsetHeight;
40 a.innerHTML = "";
41 a.appendChild(document.createElement("span")).appendChild(document.createTextNode(s1));
42 a.appendChild(document.createElement("span")).appendChild(document.createTextNode(s2));
43 if (a.offsetHeight != h1)
44 bad[chars.charAt(x)] = (bad[chars.charAt(x)] || "") + chars.charAt(y);
45 a.innerHTML = "";
46 }
47
48 var re = "";
49 function toREElt(str) {
50 if (str.length > 1) {
51 var invert = false;
52 if (str.length > chars.length * .6) {
53 invert = true;
54 var newStr = "";
55 for (var i = 0; i < l; ++i) if (str.indexOf(chars.charAt(i)) == -1) newStr += chars.charAt(i);
56 str = newStr;
57 }
58 str = str.replace(/[\-\.\]\"\'\\\/\^a]/g, function(orig) { return orig == "a" ? "\\w" : "\\" + orig; });
59 return "[" + (invert ? "^" : "") + str + "]";
60 } else if (str == "a") {
61 return "\\w";
62 } else if (/[?$*()+{}[\]\.|/\'\"]/.test(str)) {
63 return "\\" + str;
64 } else {
65 return str;
66 }
67 }
68
69 var newRE = "";
70 for (;;) {
71 var left = null;
72 for (var left in bad) break;
73 if (left == null) break;
74 var right = bad[left];
75 delete bad[left];
76 for (var other in bad) if (bad[other] == right) {
77 left += other;
78 delete bad[other];
79 }
80 newRE += (newRE ? "|" : "") + toREElt(left) + toREElt(right);
81 }
82
83 document.getElementById("output").appendChild(document.createTextNode("Your regexp is: " + (newRE || "^$")));
84 </script>
85 </article>