From bbdbcab909607da3ef2f19ed6e8620e9b021e019 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Mon, 14 Sep 2026 14:04:48 +0200
Subject: [PATCH] turns out we need jquery --save-dev at least

---
 index.html        | 2 +-
 package-lock.json | 8 ++++++++
 package.json      | 1 +
 3 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 3c47f36b..ca408376 100644
--- a/index.html
+++ b/index.html
@@ -284,7 +284,7 @@ body {
   <!-- shown only on small screens (see ide/layout.ts); switches the panes below -->
   <div id="mobiletabs" class="disable-select">
     <button type="button" class="mobiletab" data-tab="sidebar">Sidebar</button>
-    <button type="button" class="mobiletab" data-tab="editor">Editor</button>
+    <button type="button" class="mobiletab" data-tab="editor">Workspace</button>
     <button type="button" class="mobiletab active" data-tab="emulator">Emulator</button>
   </div>
   <div id="sidebar">
diff --git a/package-lock.json b/package-lock.json
index 09ebacce..1525d88a 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -50,6 +50,7 @@
         "esbuild": "^0.28.2",
         "express": "^4.18.2",
         "fast-png": "^5.0.4",
+        "jquery": "^3.7.1",
         "jsdom": "^25.0.1",
         "lzg": "^1.0.x",
         "markdown-it": "^15.0.2",
@@ -5422,6 +5423,13 @@
         "node": "^18.14.0 || ^20.0.0 || ^22.0.0 || >=24.0.0"
       }
     },
+    "node_modules/jquery": {
+      "version": "3.7.1",
+      "resolved": "https://registry.npmjs.org/jquery/-/jquery-3.7.1.tgz",
+      "integrity": "sha512-m4avr8yL8kmFN8psrbFFFmB/If14iN5o9nw/NgnnM+kybDJpRsAynV2BsfpTYrTRysYUdADVD7CkUUizgkpLfg==",
+      "dev": true,
+      "license": "MIT"
+    },
     "node_modules/js-tokens": {
       "version": "4.0.0",
       "resolved": "https://registry.npmjs.org/js-tokens/-/js-tokens-4.0.0.tgz",
diff --git a/package.json b/package.json
index 1323f78f..ec3c84f1 100644
--- a/package.json
+++ b/package.json
@@ -51,6 +51,7 @@
     "esbuild": "^0.28.2",
     "express": "^4.18.2",
     "fast-png": "^5.0.4",
+    "jquery": "^3.7.1",
     "jsdom": "^25.0.1",
     "lzg": "^1.0.x",
     "markdown-it": "^15.0.2",