From 80cdb484b41ee0235aa0653166bab96a4fb55a43 Mon Sep 17 00:00:00 2001
From: Koen Lageveen <koen.lageveen@me.com>
Date: Thu, 5 Jan 2017 23:37:07 +0100
Subject: [PATCH] add font test string

---
 index.html | 42 ++++++++++++++++++++++--------------------
 1 file changed, 22 insertions(+), 20 deletions(-)

diff --git a/index.html b/index.html
index dfad23f..bb35bad 100755
--- a/index.html
+++ b/index.html
@@ -279,30 +279,32 @@
 <textarea id="code" name="code">
 # Type some code ->
 
+console.log "oO0 iIlL1 g9qCGQ";
+
 function updateGutters(cm) {
-	var gutters = cm.display.gutters,
-			specs = cm.options.gutters;
+    var gutters = cm.display.gutters,
+	      specs = cm.options.gutters;
 
-	removeChildren(gutters);
+    removeChildren(gutters);
 
-	for (var i = 0; i < specs.length; ++i) {
-		var gutterClass = specs[i];
-		var gElt = gutters.appendChild(
-			elt(
-				"div",
-				null,
-				"CodeMirror-gutter " + gutterClass
-			)
-		);
-		if (gutterClass == "CodeMirror-linenumbers") {
-			cm.display.lineGutter = gElt;
-			gElt.style.width = (cm.display.lineNumWidth || 1) + "px";
-		}
-	}
-	gutters.style.display = i ? "" : "none";
-	updateGutterSpace(cm);
+    for (var i = 0; i < specs.length; ++i) {
+        var gutterClass = specs[i];
+        var gElt = gutters.appendChild(
+            elt(
+                "div",
+                null,
+                "CodeMirror-gutter " + gutterClass
+            )
+        );
+        if (gutterClass == "CodeMirror-linenumbers") {
+            cm.display.lineGutter = gElt;
+            gElt.style.width = (cm.display.lineNumWidth || 1) + "px";
+        }
+    }
+    gutters.style.display = i ? "" : "none";
+    updateGutterSpace(cm);
 
-	return false;
+    return false;
 }
 
 </textarea>