From fe4980d36738cd421f0827e044c45ba627ae5b9a Mon Sep 17 00:00:00 2001
From: Koen Lageveen <braver@users.noreply.github.com>
Date: Wed, 24 Apr 2024 18:16:53 +0200
Subject: [PATCH] update sample code with some of our own

---
 index.html | 41 +++++++++++++++++------------------------
 1 file changed, 17 insertions(+), 24 deletions(-)

diff --git a/index.html b/index.html
index b6c1849..f184efc 100755
--- a/index.html
+++ b/index.html
@@ -308,33 +308,26 @@
                 <textarea id="code" name="code">
 // Type some code ->
 
-console.log "oO08 iIlL1 g9qCGQ ~-+=>";
-// â é ù ï ø ç à Ē Æ œ
+const similar = "oO08 iIlL1 g9qCGQ"
+const diacritics_etc = "â é ù ï ø ç à Ē Æ œ"
 
-function updateGutters(cm) {
-    var gutters = cm.display.gutters,
-        __specs = cm.options.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";
+window.toggleFavorite = (alias) => {
+    try {
+        let favorites = JSON.parse(localStorage.getItem('favorites')) || []
+        if (favorites.indexOf(alias) > -1) {
+            favorites = favorites.filter((v) => {
+                return v !== alias
+            })
+        } else {
+            favorites.push(alias)
         }
+        localStorage.setItem('favorites', JSON.stringify(Array.from(new Set(favorites))))
+    } catch (err) {
+        // eslint-disable-next-line no-console
+        console.error('could not save favorite', err)
     }
-    gutters.style.display = i ? "" : "none";
-    updateGutterSpace(cm);
-
-    return false;
+    renderSelectList()
+    return false
 }