From d353c0719494fa5f53e4f7b8b4b8ee3cbeb8da0d Mon Sep 17 00:00:00 2001
From: Brad Barnett <127794626+bdbarnett@users.noreply.github.com>
Date: Sun, 11 Oct 2026 17:51:27 -0500
Subject: [PATCH] Gallery: an Open in Workbench button on each demo page

The direct-MicroPython demo page now links the example it is showing to
Workbench (?vm=1&example=<name>), which opens it there in the simulator
with the entry file in the editor, ready to edit, run, or put on a board.
---
 .site/gallery/micropython.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.site/gallery/micropython.html b/.site/gallery/micropython.html
index 4b5ea9381..fe6a83427 100644
--- a/.site/gallery/micropython.html
+++ b/.site/gallery/micropython.html
@@ -21,6 +21,7 @@ <h1 id="loader-title">Direct MicroPython WebAssembly</h1>
                 <button class="btn" id="enable-microphone" type="button">Enable Microphone</button>
                 <button class="btn" id="reset-runtime" type="button">Reset</button>
                 <a class="btn" id="pyodide-link" href="../pyscript/pyodide.html">Pyodide alternative</a>
+                <a class="btn" id="workbench-link" href="https://pydevices.github.io/workbench/" hidden>Open in Workbench</a>
             </div>
         </div>
         <p class="loader-lede">The application runs on the main thread through the compiled <code>_wasm_bridge</code>.</p>
@@ -58,6 +59,11 @@ <h2 class="console-label">Console output</h2>
         if (entry) {
             document.getElementById('loader-title').textContent = entry.replaceAll('_', ' ');
             document.title = `${entry} — Direct MicroPython`;
+            // The same example in Workbench: editable, runnable in its
+            // simulator, and one connect away from a board.
+            const workbench = document.getElementById('workbench-link');
+            workbench.href = `https://pydevices.github.io/workbench/?vm=1&example=${encodeURIComponent(entry)}`;
+            workbench.hidden = false;
         }
     </script>
     <script type="module" src="./gallery-host.js"></script>