From 17694f5646f1c48a859b83908e01eace7afbb731 Mon Sep 17 00:00:00 2001 From: Cory McWilliams Date: Wed, 21 May 2025 18:20:01 -0400 Subject: [PATCH] update: CodeMirror. --- apps/intro/app.js | 2 +- apps/intro/index.html | 36 +++-- deps/codemirror/cm6.js | 2 +- deps/codemirror_src/package-lock.json | 200 +++++++++++++------------- 4 files changed, 129 insertions(+), 111 deletions(-) diff --git a/apps/intro/app.js b/apps/intro/app.js index bf87977a..4dae5544 100644 --- a/apps/intro/app.js +++ b/apps/intro/app.js @@ -2,4 +2,4 @@ async function main() { await app.setDocument(utf8Decode(getFile('index.html'))); } -main(); \ No newline at end of file +main(); diff --git a/apps/intro/index.html b/apps/intro/index.html index 20cb7aaa..b3c4594f 100644 --- a/apps/intro/index.html +++ b/apps/intro/index.html @@ -12,13 +12,22 @@ height: 1em; cursor: pointer; } - .w3-left, .w3-right { + .w3-left, + .w3-right { cursor: pointer; }
Next
-
+

This brief tutorial will introduce:

@@ -177,7 +183,13 @@ class="w3-text-white w3-xlarge w3-center w3-flex" style="width: 100%; flex: 0 1; flex-direction: row; align-items: center" > -
+
+ ❮ +
-
+
+ ❯ +