From 64aeb4a38f13315c0da946feca53779010834353 Mon Sep 17 00:00:00 2001
From: Ross Andrews <ross.andrews@gmail.com>
Date: Sun, 28 Apr 2024 00:01:35 -0500
Subject: [PATCH] Remove html-level indentation from src

---
 vweb/src/undent.jsx | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 vweb/src/undent.jsx

diff --git a/vweb/src/undent.jsx b/vweb/src/undent.jsx
new file mode 100644
index 0000000..ecc12cf
--- /dev/null
+++ b/vweb/src/undent.jsx
@@ -0,0 +1,45 @@
+// Remove an equal amount of leading whitespace from every line in a string,
+// such that some lines have zero leading whitespace. Also remove all trailing whitespace.
+export function undent(str) {
+    const isBlank = (ln) => ln.match(/^\s*$/)
+    const stripTrailingWs = ln => ln.match(/^(.*\S)\s*$/) // crashes on all-ws lines
+
+    const leadingWhitespaceCount = (ln) => {
+        const leadingWs = ln.match(/^(\s*)\S/)
+        return leadingWs ? leadingWs[1].length : 0
+    }
+
+    const setLeadingWhitespace = (ln, count) => {
+        const text = ln.match(/^\s*(\S.*)$/)[1]
+        return `${(' ').repeat(count)}${text}`
+    }
+
+    if (isBlank(str)) {
+        return ''
+    } // Degenerate case
+
+    const lines = str.split(/\n/)
+
+    if (lines.size === 1) { // Another degenerate case
+        return setLeadingWhitespace(stripTrailingWs(lines[0]), 0)
+    }
+
+    const leading = []
+    lines.forEach((line) => {
+        if (!isBlank(line)) {
+            leading.push(leadingWhitespaceCount(line))
+        }
+    })
+    const toRemove = Math.min(...leading)
+
+    const cleanLines = lines.map((line) => {
+        if (isBlank(line)) {
+            return ''
+        } else {
+            const current = leadingWhitespaceCount(line)
+            return setLeadingWhitespace(line, current - toRemove)
+        }
+    })
+
+    return cleanLines.join('\n')
+}
\ No newline at end of file