From b0311ec22df289417cc58908d182058b9a5857c0 Mon Sep 17 00:00:00 2001
From: "Frank A. Krueger" <fak@praeclarum.org>
Date: Sat, 9 Dec 2017 14:46:14 -0800
Subject: [PATCH] Add page used to measure text

---
 Documentation/MeasureText.html | 56 ++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 Documentation/MeasureText.html
diff --git a/Documentation/MeasureText.html b/Documentation/MeasureText.html
new file mode 100644
index 0000000..e645b1e
--- /dev/null
+++ b/Documentation/MeasureText.html
@@ -0,0 +1,56 @@
+<html>
+<body>
+
+<textarea id="result" cols="200" rows="32"></textarea>
+
+<canvas id="canvas" width="320" height="200"></canvas>
+
+
+
+<script>
+var canvas = document.getElementById('canvas');
+var ctx = canvas.getContext('2d');
+
+
+var r = "static readonly double[] CharacterProportions = {\n    ";
+var head = "";
+let size = 16;
+
+ctx.font = "bold " + size + "px \"Helvetica Neue\"";
+var mmm = ctx.measureText("MM");
+let sp = 0;
+let np = 0;
+let mw = 0;
+for (let i = 0; i < 128; i++) {
+    if (i > 0 && i % 8 == 0) {
+        head = ",\n    ";
+    }
+    else if (i > 0) {
+        head = ", ";
+    }
+    let c = String.fromCharCode(i);
+    let s = "M" + c + "M";
+    let m = ctx.measureText(s);
+    let w = m.width - mmm.width;
+    let p = w / size;
+    if (p > 1e-4) {
+        sp += p;
+        np++;
+    }
+    if (c == "M") {
+        mw = w;
+    }
+    r += head + p;
+    console.log (c + " = " + w);
+}
+
+let ap = sp / np;
+let padding = (mmm.width - mw*2)/size;
+r += "\n};\nconst double AverageCharProportion = " + ap + ";";
+r += "\nconst double StringWidthPaddingProportion = " + padding + ";";
+console.log(r);
+document.getElementById("result").innerText = r;
+</script>
+
+</body>
+</html>
\ No newline at end of file
