From dd98880654000b5bdce7bf9457e3c0697312914d Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Sat, 17 Feb 2024 01:37:07 +0000
Subject: deploy: fb01a9122a6a104c509bf39fdee3803d778b67fd

---
 web/html.html     | 63 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 web/src/tags.html | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 123 insertions(+)
 create mode 100644 web/src/tags.html

(limited to 'web')

diff --git a/web/html.html b/web/html.html
index 0bc7cb4..17d96d1 100644
--- a/web/html.html
+++ b/web/html.html
@@ -305,6 +305,69 @@ window.onload = () =&gt; {
 &lt;div id="tTab2" class="content" style="display: none;"&gt;
     &lt;p&gt;... and there.&lt;/p&gt;
 &lt;/div&gt;
+</code></pre>
+<h1 id="minimal-tags-filter"><a class="header" href="#minimal-tags-filter">Minimal tags filter</a></h1>
+<p><a href="src/tags.html">Rendered html</a></p>
+<pre><code class="language-html">&lt;script&gt;
+/// Map HTML elements to display kinds.
+const elementToDisplay = (E) =&gt; {
+    switch (E.nodeName) {
+        case "LI":
+            return "list-item";
+        default:
+            return "block";
+    }
+}
+
+/// Display only elements with tag T.
+const showTag = (T) =&gt; {
+    Array.from(document.getElementsByClassName("content")).forEach(E =&gt; {
+        E.style.display = "none";
+    });
+
+    Array.from(document.getElementsByClassName(T)).forEach(E =&gt; {
+        E.style.display = elementToDisplay(E);
+    });
+};
+
+/// Initialize buttons and callbacks.
+window.onload = () =&gt; {
+    // Handle to the filter placeholder.
+    const filter = document.getElementById("filter");
+
+    // Create buttons for each tag T.
+    ['arm', 'x86', 'clear'].forEach(T =&gt; {
+        const btn = document.createElement("button");
+        btn.innerHTML = T;
+        btn.onclick = T === "clear"
+            ? (E) =&gt; {
+                showTag("content");
+                filter.innerHTML = "";
+            }
+            : (E) =&gt; {
+                showTag(T);
+                filter.innerHTML = `&lt;p&gt;filter: &lt;mark&gt;${T}&lt;/mark&gt;&lt;/p&gt;`;
+            };
+
+        document.body.prepend(btn);
+    });
+}
+&lt;/script&gt;
+
+&lt;div id = "filter"&gt;&lt;/div&gt;
+
+&lt;ul&gt;
+    &lt;li class = "content arm"&gt;arm 1&lt;/li&gt;
+    &lt;li class = "content arm"&gt;arm 2&lt;/li&gt;
+    &lt;li class = "content arm"&gt;arm 3&lt;/li&gt;
+    &lt;li class = "content x86"&gt;x86 1&lt;/li&gt;
+    &lt;li class = "content x86"&gt;x86 2&lt;/li&gt;
+    &lt;li class = "content x86 arm"&gt;x86 + arm&lt;/li&gt;
+&lt;/ul&gt;
+
+&lt;div class = "content arm"&gt;arm&lt;/div&gt;
+&lt;div class = "content arm x86"&gt;arm x86&lt;/div&gt;
+&lt;div class = "content x86"&gt;x86&lt;/div&gt;
 </code></pre>
 
                     </main>
diff --git a/web/src/tags.html b/web/src/tags.html
new file mode 100644
index 0000000..25597ca
--- /dev/null
+++ b/web/src/tags.html
@@ -0,0 +1,60 @@
+<script>
+/// Map HTML elements to display kinds.
+const elementToDisplay = (E) => {
+    switch (E.nodeName) {
+        case "LI":
+            return "list-item";
+        default:
+            return "block";
+    }
+}
+
+/// Display only elements with tag T.
+const showTag = (T) => {
+    Array.from(document.getElementsByClassName("content")).forEach(E => {
+        E.style.display = "none";
+    });
+
+    Array.from(document.getElementsByClassName(T)).forEach(E => {
+        E.style.display = elementToDisplay(E);
+    });
+};
+
+/// Initialize buttons and callbacks.
+window.onload = () => {
+    // Handle to the filter placeholder.
+    const filter = document.getElementById("filter");
+
+    // Create buttons for each tag T.
+    ['arm', 'x86', 'clear'].forEach(T => {
+        const btn = document.createElement("button");
+        btn.innerHTML = T;
+        btn.onclick = T === "clear"
+            ? (E) => {
+                showTag("content");
+                filter.innerHTML = "";
+            }
+            : (E) => {
+                showTag(T);
+                filter.innerHTML = `<p>filter: <mark>${T}</mark></p>`;
+            };
+
+        document.body.prepend(btn);
+    });
+}
+</script>
+
+<div id = "filter"></div>
+
+<ul>
+    <li class = "content arm">arm 1</li>
+    <li class = "content arm">arm 2</li>
+    <li class = "content arm">arm 3</li>
+    <li class = "content x86">x86 1</li>
+    <li class = "content x86">x86 2</li>
+    <li class = "content x86 arm">x86 + arm</li>
+</ul>
+
+<div class = "content arm">arm</div>
+<div class = "content arm x86">arm x86</div>
+<div class = "content x86">x86</div>
-- 
cgit v1.2.3